Hacker News new | ask | show | jobs
user: quack_quack
created: 2011-03-03
karma: 665

submissions:

Building fast interpreters in rust (2019)
2 points | 0 comments
John Conway’s contributions to mathforum.org (1993-2004)
2 points | 0 comments
John Conway – The Free Will Lectures (2009) [video]
379 points | 60 comments
Harris versus Buzzard (2019)
1 points | 0 comments
Clang and FSF's Strategy (2014)
2 points | 1 comments
Metacat: a computer model of analogy-making and perception (2016)
28 points | 4 comments
Intuitions about Cohomology
2 points | 0 comments
Optical Computing: A 60-Year Adventure (2010)
24 points | 4 comments
Ask HN: When will a technology like Lean Prover overtake LaTeX?
2 points | 0 comments
Math joke (Richard P. Stanley)
2 points | 0 comments
0 points | 0 comments
Functional Pearl: Enumerating the Rationals [pdf]
63 points | 6 comments
0 points | 0 comments
0 points | 0 comments
Functional Pearl: Enumerating the Rationals [pdf]
1 points | 0 comments
0 points | 0 comments
Taming the Web (2001)
18 points | 4 comments
The Case Against Computers in K-13 Math Education (1996)
35 points | 27 comments
The Kruskal Count Card Trick
201 points | 41 comments
0 points | 0 comments
A lambda calculus for quantum computation
114 points | 10 comments
This Week's Finds in Mathematical Physics (Week 240) (2006)
1 points | 0 comments
A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom
57 points | 15 comments
To Understand Rising Inequality, Consider Janitors
390 points | 672 comments
0 points | 0 comments
Sideways addition
1 points | 0 comments