New top story on Hacker News: Writing a Formally-Verified Porn Browser in Coq and Haskell
Writing a Formally-Verified Porn Browser in Coq and Haskell
5 by MichaelBurge | 0 comments on Hacker News.
Cibo e viaggi / Food and travel notes by Livio Acerbo
New top story on Hacker News: Writing a Formally-Verified Porn Browser in Coq and Haskell
Writing a Formally-Verified Porn Browser in Coq and Haskell
5 by MichaelBurge | 0 comments on Hacker News.