Breaking Paragraphs into Lines [pdf] (1981)(gwern.net)30 points by Smaug123 10 months ago | 6 comments
Totality and non-standard recursion in Idris(franklin.dyer.me)4 points by franklin_p_dyer 2 years ago | 0 comments
Yorick is an interpreted programming language for scientific simulations(yorick.sourceforge.net)52 points by Tomte 3 years ago | 18 comments
The Evolution of a Haskell Programmer (2001)(pages.cpsc.ucalgary.ca)128 points by agomez314 2 years ago | 35 comments
The Gregorio project – GPL tools for typesetting Gregorian chant(gregorio-project.github.io)53 points by mcookly 6 months ago | 9 comments
![Screenshot of gwern.net: Breaking Paragraphs into Lines [pdf] (1981)](https://hn.urlbox.com/shots/renders/2025/12/18/6f6f1820-cdf9-4f64-8c21-8a3fd2ca7237.jpg)
