granary https://nthelt.xyz/garden/ nthelt's digital garden 2026-07-10T00:00:00Z http://activitystrea.ms/schema/1.0/person https://nthelt.xyz/ nthelt http://activitystrea.ms/schema/1.0/person https://nthelt.xyz/ nthelt http://activitystrea.ms/schema/1.0/article https://nthelt.xyz/garden/lambda-calculus/ Building with lambda calculus Deriving the natural numbers, lists, and optional values out of simple functions. http://activitystrea.ms/schema/1.0/post 2026-07-10T00:00:00Z 2026-07-10T00:00:00Z http://activitystrea.ms/schema/1.0/person https://nthelt.xyz/ nthelt http://activitystrea.ms/schema/1.0/article https://nthelt.xyz/garden/lambda-library/ Library of λ Reference for all the combinators I’ve collected, expressed in lambda calculus. http://activitystrea.ms/schema/1.0/post 2026-03-15T00:00:00Z 2026-03-15T00:00:00Z http://activitystrea.ms/schema/1.0/person https://nthelt.xyz/ nthelt http://activitystrea.ms/schema/1.0/article https://nthelt.xyz/garden/computers/ My vision for personal computers If I were to setup my ideal computer, this is what it would look like. http://activitystrea.ms/schema/1.0/post 2026-03-14T00:00:00Z 2026-03-14T00:00:00Z http://activitystrea.ms/schema/1.0/person https://nthelt.xyz/ nthelt http://activitystrea.ms/schema/1.0/article https://nthelt.xyz/garden/dithering/ Experiments in dithering Compressing images with dithering looks great and leads to small file sizes. http://activitystrea.ms/schema/1.0/post 2026-03-14T00:00:00Z 2026-03-14T00:00:00Z