Most cited

Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 494 posts.

Math & Algorithms
Any year
196

Lambda Calculus Diagrams (2015)

The following table shows diagrams of identity, the booleans, some standard combinators, some Church numerals, the predecessor function on Church numerals, and Omega. term definition diagram alternative I/1 λx.x K/true λx.λy.x false/0 λx.λy.y S λx.λy.λz.(x z)(y z) Y λf.(λx.x x)(λx.f(x x)) 2 λf.λx.f(f x) 3 λf.λx.f(f(f…

203

Squares in Squares

The following pictures show $n$ unit squares packed inside the smallest known square (of side length $s$). If a pictured packing has multiple numbers in its label above, the picture represents the largest; each smaller is represented by removing any square. For the $n ≤ 324$ not pictured, the trivial packing (with no…