All
Articles 173,163Blog Posts 163,816Tech Tutorials 46,199Research Papers 33,857News 21,839
⚡ AI Lessons
Dev.to · arcker
🔧 Backend Engineering
⚡ AI Lesson
1mo ago
943 bytes that answer HTTP
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 reques
Dev.to · arcker
🔧 Backend Engineering
⚡ AI Lesson
1mo ago
The fixed point: a compiler written in its own language just reproduced itself, byte for byte
Verbose is a small proof-carrying language whose compiler is written in Verbose itself. Its self-hosted emitter, fed its own 855 KB source, produced a binary bi
Dev.to · arcker
🔧 Backend Engineering
⚡ AI Lesson
2mo ago
A compiler written in its own language just emitted a standalone Linux executable
Verbose is a small experimental language whose compiler proves properties (like termination) and emits tiny, readable x86-64 — no runtime, no GC, no libc. On a
Dev.to · arcker
🔧 Backend Engineering
⚡ AI Lesson
2mo ago
A program is a tree — building a Verbose compiler in Verbose
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 represents a tree — recursive s
DeepCamp AI