Skip to content
Chris's Digital Detritus
Videotext for the twenty first century.
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot | Hacker News
The Most Satisfying Checkbox | Hacker News
A Sketch of the Biggest Idea in Software Architecture