Back to Profile

Submissions by jessup

1

Building fast interpreters in rust (2019)

2 pointsby jessupover 4 years ago

2

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

2 pointsby jessupabout 5 years ago

3

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

379 pointsby jessupabout 5 years ago

4

Harris versus Buzzard (2019)

1 pointsby jessupalmost 6 years ago

5

Clang and FSF's Strategy (2014)

2 pointsby jessupabout 6 years ago

6

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

28 pointsby jessupabout 6 years ago

7

Intuitions about Cohomology

2 pointsby jessupabout 6 years ago

8

Optical Computing: A 60-Year Adventure (2010)

24 pointsby jessupabout 6 years ago

9

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

2 pointsby jessupover 6 years ago

10

Math joke (Richard P. Stanley)

2 pointsby jessupover 6 years ago

11

Functional Pearl: Enumerating the Rationals [pdf]

63 pointsby jessupover 6 years ago

12

Functional Pearl: Enumerating the Rationals [pdf]

1 pointsby jessupabout 7 years ago

13

Taming the Web (2001)

18 pointsby jessupabout 7 years ago

14

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

35 pointsby jessupabout 7 years ago

15

The Kruskal Count Card Trick

201 pointsby jessupabout 7 years ago

16

A lambda calculus for quantum computation

114 pointsby jessupabout 7 years ago

17

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

1 pointsby jessupabout 7 years ago

18

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

57 pointsby jessupover 7 years ago

19

To Understand Rising Inequality, Consider Janitors

390 pointsby jessupalmost 8 years ago

20

Sideways addition

1 pointsby jessupover 8 years ago

← Previous