DEV Community

arcker profile picture

arcker

I build small systems you can read line by line: a proof-carrying language, a memory-first web framework, a CI runner. I write about what's actually inside them.

Joined Joined on  github website
cidx v2.1.0 — the most useful output of a release was its seven bug reports

cidx v2.1.0 — the most useful output of a release was its seven bug reports

Comments
3 min read

Want to connect with arcker?

Create an account to connect with arcker. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in
The fixed point: a compiler written in its own language just reproduced itself, byte for byte

The fixed point: a compiler written in its own language just reproduced itself, byte for byte

Comments
3 min read
lithair 1.0 — I'm here, and yet

lithair 1.0 — I'm here, and yet

Comments
3 min read
A compiler written in its own language just emitted a standalone Linux executable

A compiler written in its own language just emitted a standalone Linux executable

Comments
4 min read
Every elevator has a load plate. Tests are supposed to kill fear, not feed it.

Every elevator has a load plate. Tests are supposed to kill fear, not feed it.

Comments
5 min read
A program is a tree — building a Verbose compiler in Verbose

A program is a tree — building a Verbose compiler in Verbose

Comments
4 min read
TLS 1.3 without a library — a real browser does the handshake against Verbose machine code

TLS 1.3 without a library — a real browser does the handshake against Verbose machine code

Comments
5 min read
loading...