📰 Dev.to · arcker

The program should print 'premium'. It prints 2864743186439, exit code 0, no error. That number isn't noise — it's the right answer, read the wrong way. Nine de

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

probatum is a test-oriented check runner I build in Rust: one config file, embedded checks, only the failures that matter. This post is about why it exists next

cidx is a declarative CI/CD runner I build. v2.1.0 ships a preset, a pr-edit action and six fixes — but the interesting part isn't the diff. It's the seven issu

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

The 1.0 tag is cut: lithair works, tested end-to-end, soaked in prod. And yet it doesn't feel finished. An honest post about the gap between the version and the

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

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.

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

A real browser opens an HTTPS page served by a binary whose every cryptographic transform — key exchange, signature, encryption, hash — is machine code emitted