Lindy Hacker News best | by year | submit | from

The best articles from michaelburge.us, according to Hacker News. Change the ?site URL parameter to try it on any other website. Or click the domain shown after each post title. 2017 Writing a formally-verified image browser in Coq and Haskell (michaelburge.us) 90 points | 6 years ago with 12 comments

If you like quirky internet articles, you'll like the Unclutter reader mode too!