nthelt.xyzHi! I’m Tyler and this is my website about the thoughts I’m thinking and the projects I’m working on. Everything’s a work in progress, and that’s by design. Welcome to my digital garden. Take a look around.
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.