digital garden

The pages you’ll find here are all works-in-progress, and that’s by design. They’ll never be “finished”, only more fleshed-out. But they’re also designed to be useful in their current form. This garden documents my thoughts and lowers the barrier to sharing them. The feed updates every time I edit one of these pages.

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