We have proof automation now(imperialviolet.org)
215 points by zdw | 99 comments
First screen, captured .
Looks similar
Voice Recognition(imperialviolet.org)
28 points by ingve | 7 comments
Why I love OCaml (2023)(mccd.space)
379 points by art-w | 270 comments
Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.
The Ken Thompson Hack(wiki.c2.com)
98 points by stephc_int13 | 27 comments
Continuous Glucose Monitoring(imperialviolet.org)
80 points by zdw | 55 comments
