A social platform built on two-sided friendships and a stack chosen for the edge, and the two decisions - a package manager and a schema pattern - that taught me the most by being wrong.
Toby Jordan's Blog
Writings on technology, philosophy, and their intersection
Building Lemuria: A Bleeding-Edge Stack for Deployment to the Edge Types as Propositions, Proofs as Programs: Implementing STLC and PCF We extend our lambda calculus interpreter with a type system, discover that almost nothing from the untyped standard library survives, derive PCF from first principles, and arrive somewhere unexpected: the typechecker we wrote is also a proof checker - Curry-Howard isomorphism.
Building a Lambda Calculus Interpreter in Odin Lambda calculus has three rules, and yet booleans, arithmetic, linked lists, and recursion fall out of them. This is an account of building an interpreter for it in Odin - and of the theory that ambushes you along the way.
What I Want from a Systems Programming Language and Why I Like Odin I needed a systems language, so I tried Rust, Zig, C, Nim, and Odin. This is the case for Odin - and what Scheme taught me about what it means for a language to know what it is.