nthelt

Hi! I’m Tyler and this is my website about the thoughts I’m thinking and the projects I’m working on. If you’re interested, check out what I’ve been up to lately, the software I use, and the websites I follow. 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.