Verbose is a small proof-carrying language whose compiler is written in itself. It now emits HTTP servers: a 943-byte ELF that opens a socket, parses the request, routes on method and path, and writes its access log in a single atomic writev. Here is the whole syscall chain, end to end — and why a log line must never be splittable in two.
Verbose is a small experimental language I build — its compiler proves properties about your code (termination, sound types, declared effects) and emits tiny x86-64 machine code: no runtime, no GC, no libc. This post stands on its own.
Picture a 943-byte file. Smaller than a long text message. You run it and send this:
GET / HTTP/1.0
Enter fullscreen mode
Exit fullscreen mode
Verbose is a small experimental language whose compiler proves properties (like termination) and emits tiny, readable x86-64 — no…
Before a compiler can understand a program, it has to turn text into a tree (an AST). Here's how a small proof-carrying language…
I shipped a working landing page in 14 KB. Here is every byte. In May 2026 a coder who...
TL;DR. HTTP got a new method in June: QUERY (RFC 10008), a GET that carries a body. Everyone wrote...
How I replaced TypeScript and Electron with a zero-allocation binary reader to build an IDE that cold-starts in 200ms.
TL;DR. QUERY (RFC 10008) is a real HTTP method now, a GET that carries a body. I deployed echo...
