Digital garden

• Building with lambda calculus — Deriving the natural numbers, lists, and optional values out of simple functions.
• Experiments in dithering — Compressing images with dithering looks great and leads to small file sizes.
• My vision for personal computers — If I were to setup my ideal computer, this is what it would look like.
• Library of λ — Reference for all the combinators I’ve collected, expressed in lambda calculus.