Why I love OCaml (2023)(mccd.space)

379 points by art-w 11 months ago | 270 comments

Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.

Pre-2022 Books(notes.lorenzogravina.com)

165 points by trms 4 months ago | 105 comments

High-Quality Software Engineering (2007)(lurklurk.org)

60 points by rhim 2 years ago | 27 comments

Thoughts on Integers (2023)(blog.xoria.org)

12 points by mpweiher 3 months ago | 2 comments

Thoughts on the Software Industry (2022)(linus.coffee)

72 points by thesephist 1 year ago | 55 comments

I hate almost all software (2011)(tinyclouds.org)

111 points by Decabytes 3 years ago | 87 comments