Entities enabling scientific fraud at scale (2025)(doi.org)298 points by peyton 7 months ago | 204 comments
The CWEB System of Structured Documentation(www-cs-faculty.stanford.edu)53 points by weeber 2 years ago | 10 comments
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