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 request, routes on method and path, and writes its access log in a single atomic writev. Here is the whole syscall chain, end to end — and why a log line must never be splittable in two.

Raccontata dadev.to