All
Articles 108,703Blog Posts 119,787Tech Tutorials 27,564Research Papers 22,426News 16,476
⚡ AI Lessons
Dev.to · arcker
⚡ AI Lesson
1w 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
⚡ AI Lesson
2w ago
Every elevator has a load plate. Tests are supposed to kill fear, not feed it.
An elevator's '8 persons — 630 kg' plate is a signed envelope that lets you step in without thinking. That's what a test is for: the right to stop being afraid.
Dev.to · arcker
⚡ AI Lesson
2w 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
Dev.to · arcker
🔐 Cybersecurity
⚡ AI Lesson
3w ago
TLS 1.3 without a library — a real browser does the handshake against Verbose machine code
A real browser opens an HTTPS page served by a binary whose every cryptographic transform — key exchange, signature, encryption, hash — is machine code emitted
DeepCamp AI