Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Unix system programming in OCaml (2014). Parent comment
Take a look at the ideal mathematical (verified) C compiler written in Coq. I find it neat:
https://github.com/AbsInt/CompCert
There are no comments on this comment yet.
Take a look at the ideal mathematical (verified) C compiler written in Coq. I find it neat:
https://github.com/AbsInt/CompCert