Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Hillel Wayne cools the hype that TLA+ will save AI coding agents, clarifying what temporal logic model checking can and cannot verify in real software systems.
7 min · 1,632 words
The systems that no one will test
The systems that no one will test This happened to me in 2020, and it has been on my mind again lately. During the worst of the pandemic, I found a vulnerability in a system that gave me access to the Brazilian federal system, and with that access I was able to retrieve information on any Brazilian (think of 200+ million people data).
4 min · 901 words
C's Flexible Integer Sizes Were Not a Design Mistake
Gustavo Pezzi defends C’s platform-sized integers: how 12–60-bit machines shaped int, why minimum ranges beat fixed widths, and what Lua’s portable C still teaches.
2 min · 486 words
Crazy as it sounds to say this, since it’s all anybody’s been able to talk about for over a year, but the impact of AI on computing hasn’t yet sunk in.
6 min · 1,349 words
Why Buran Had Four Computers, Not Three — and What a Lean Proof Adds
**Date:** September 24, 2026 · **Author:** Dmitrii Zatona - Buran’s flight computer was four identical Biser-4 machines running the same programs synchronously. A comparison scheme blocked a failed one, and the design had to survive any two failures (Section 1). - Four is what two failures cost if a failed channel is found by comparing outputs alone. It is not the 3f + 1 of Byzantine agreement, which is a different problem (Sections 2 and 3).
33 min · 7,503 words
Steve Klabnik digs into what programming languages mean by “arguments,” how calling conventions and type systems shape the word, and why debates about language design often talk past each other when the underlying models differ.
12 min · 2,769 words
What Zig felt like, coming from Rust
A Rust developer's first real Zig project: how the language feels for systems work—manual memory, comptime, error handling, and where it differs from Rust's ownership model and tooling.
11 min · 2,535 words
A playful but carefully argued encoding proposal that extends UTF-8 to arbitrary length while preserving ASCII compatibility and self-synchronization, with a reference pipx implementation.
89 min · 20,405 words
Simulating Airband AM Radios Warning: Contains many annoying sounds. In a slight departure from my usual code monkey content, let’s talk about airplanes! And radios!
15 min · 3,432 words