from Hacker News

jessup

joined 3/3/11, 5:56 PM has 665 karma

• Building fast interpreters in rust (2019)

  by jessup on 9/14/20, 7:39 AM, with 0 comments

• John Conway’s contributions to mathforum.org (1993-2004)

  by jessup on 4/11/20, 9:41 PM, with 0 comments

• John Conway – The Free Will Lectures (2009) [video]

  by jessup on 4/11/20, 9:37 PM, with 60 comments

• Harris versus Buzzard (2019)

  by jessup on 6/19/19, 11:13 AM, with 0 comments

• Clang and FSF's Strategy (2014)

  by jessup on 5/7/19, 9:58 PM, with 1 comments

• Metacat: a computer model of analogy-making and perception (2016)

  by jessup on 3/29/19, 8:24 AM, with 4 comments

• Intuitions about Cohomology

  by jessup on 3/20/19, 3:36 PM, with 0 comments

• Optical Computing: A 60-Year Adventure (2010)

  by jessup on 3/7/19, 7:30 PM, with 4 comments

• Ask HN: When will a technology like Lean Prover overtake LaTeX?

  by jessup on 2/8/19, 2:30 AM, with 0 comments

• Math joke (Richard P. Stanley)

  by jessup on 12/27/18, 8:04 PM, with 0 comments

• Functional Pearl: Enumerating the Rationals [pdf]

  by jessup on 11/23/18, 9:38 AM, with 6 comments

• Functional Pearl: Enumerating the Rationals [pdf]

  by jessup on 5/31/18, 12:37 AM, with 0 comments

• Taming the Web (2001)

  by jessup on 5/19/18, 12:49 AM, with 4 comments

• The Case Against Computers in K-13 Math Education (1996)

  by jessup on 5/5/18, 5:22 PM, with 27 comments

• The Kruskal Count Card Trick

  by jessup on 5/4/18, 5:42 AM, with 41 comments

• A lambda calculus for quantum computation

  by jessup on 3/31/18, 1:05 AM, with 10 comments

• This Week's Finds in Mathematical Physics (Week 240) (2006)

  by jessup on 3/17/18, 7:50 PM, with 0 comments

• A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom

  by jessup on 3/1/18, 9:19 PM, with 15 comments

• To Understand Rising Inequality, Consider Janitors

  by jessup on 9/3/17, 2:02 PM, with 672 comments

• Sideways addition

  by jessup on 11/15/16, 3:01 PM, with 0 comments

• Taming the Web (2001)

  by jessup on 11/10/16, 5:23 PM, with 0 comments

• Welcome to the CMU Artificial Intelligence Repository (1994)

  by jessup on 10/25/16, 3:35 AM, with 2 comments

• John Conway's contributions on mathforum.org (1993-2004)

  by jessup on 11/27/15, 10:29 PM, with 0 comments

• Sortes Vergilianae

  by jessup on 11/27/15, 9:55 PM, with 3 comments

• Misunderstanding the Church-Turing Thesis

  by jessup on 11/17/15, 1:18 AM, with 2 comments

• John Conway's contributions on mathforum.org (1993-2004)

  by jessup on 11/17/15, 12:40 AM, with 0 comments

• Marvin Minsky's Homepage

  by jessup on 8/16/15, 8:09 PM, with 51 comments

• Marvin Minsky's Home Page

  by jessup on 8/16/15, 12:09 AM, with 0 comments

• Grothendieck’s Activism and What It Says About the World

  by jessup on 12/5/14, 1:24 PM, with 0 comments

• Teach Yourself Logic: A Study Guide

  by jessup on 11/9/14, 6:31 PM, with 0 comments

• Quillen Notebooks

  by jessup on 10/30/14, 6:32 PM, with 0 comments

• Historical Collection of the MIT Artificial Intelligence Lab Publications Series

  by jessup on 10/17/14, 12:38 AM, with 0 comments