Imagining a Language without Booleans
Justin Pombrio About MeWPI Transcript Brown Transcript Friends Pictures Resume ArchiveBlackout Faster Than Light Hex Board Invariants Listening To OEIS Logic Gates Penrose Maze Syntactic Sugar Terminal Colors Notes JJ Cheat Sheet Rust Quick Reference Notes on Concurrency Puzzles There and Back Again The Prisoners’ Lightbulb Tree Editors Tree Editor Survey Programming Imagining a Language without Booleans Typst as a Language A Twist on Wadler’s Printer Preventing Log4j with Capabilities Algebra and Data Types Pixel to Hex Linear vs Binary Search Physics Uncalibrated quantum experiments act clasically Math Traffic Engineering with Portals, Part II Traffic Engineering with Portals Algebra and Data Types What’s a Confidence Interval? All Posts Imagining a Language without…
