Home
Lobsters
Towards Understandable Software
“Double Threat” to Private Communications: Undemocratic Chat Control Backroom Deals and Imminent Concessions Spark Relaunch of fightchatcontrol.eu
Ante: New Way to Blend Borrow Checking and Reference Counting
Kivo - A lightweight desktop teleprompter built with PySide6
HyperCard on the Macintosh
A Typed, Algebraic Approach to Parsing (2019)
How VictoriaLogs Stores Your Logs in a Columnar Layout
A Core Calculus for Documents
Regular expressions that work “everywhere”
You might not need… a service worker
A peek into Reddit's anti-spam internals
We have Mythos at Home: GLM 5.2 beats Claude in our Cyber Benchmarks
Installing SerenityOS on My Old ThinkPad T60
Optimizing LLVM's bump allocator
Canvas patch: we need testers
Examining circuit boards from the Space Shuttle's I/O Processor
Data Access Patterns That Makes Your CPU Really Angry
Introducing Test That
Prism: An Impure Functional Language With Typed Effects
The feature in OxCaml that more languages should steal
Tech Morality is Hard
TOP500 at ISC’26: We have a New Number 1
Working around dragons with the Lemote Yeeloong laptop and OpenBSD
Building an Open-Source Robot Vacuum — Meet oomwoo
Unfathomable bugs #10: The Broken Windows Build