The fixed point: a compiler written in its own language just reproduced itself, byte for byte
Verbose is a small experimental language I'm building — its compiler proves properties about your code (termination, sound types) and emits tiny x86-6…
Tech news from the best sources
Verbose is a small experimental language I'm building — its compiler proves properties about your code (termination, sound types) and emits tiny x86-6…
Verbose is a small experimental language I'm building. Its compiler proves properties about your code — like termination — and emits tiny, readable x8…
Verbose is a small experimental language I'm building. Its compiler proves properties about your code — like termination — and emits tiny, readable x8…