On: Althttpd: Simple webserver in a single C file

[einpoklum]

Can you expand on that a little?

[michaelmior → einpoklum]

RecordFlux[0] is a DSL written in Ada for specifying messages in a binary protocol. Code for parsing these messages is then generated automatically with a number of useful properties automatically proven including that no runtime errors will occur.

[0] https://github.com/Componolit/RecordFlux