An epic treatise on error models for systems programming languages(typesanitizer.com)

205 points by transpute 1 year ago | 65 comments

Optimizers need a rethink(typesanitizer.com)

132 points by ingve 2 years ago | 139 comments

ПП-BESM – a Soviet language (1955)(xav.io)

111 points by 082349872349872 3 years ago | 27 comments

Job queues are deceptively tricky(typesanitizer.com)

109 points by ingve 3 months ago | 36 comments

Meta-analysis of three different notions of software complexity(typesanitizer.com)

75 points by ingve 1 year ago | 14 comments

John Carmack on inlined code (2014)(number-none.com)

528 points by bpierre 2 years ago | 363 comments

Jonathan Blow's blog reposts John Carmack's 2007 email on inlining code and avoiding hidden state mutation, with Carmack's 2014 commentary favoring pure functions.