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.

λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

Software Rot(permacomputing.net)

208 points by pabs3 1 year ago | 186 comments

Why I do programming(esafev.com)

65 points by artmare 1 year ago | 38 comments

What makes Lisp difficult to read?(paultm.nl)

20 points by ibobev 28 days ago | 24 comments

Blog post exploring why Lisp's parenthesis-heavy syntax is perceived as hard to read and what that implies for designing syntax in new languages.

My practitioner view of program analysis(sawyer.dev)

43 points by evakhoury 6 months ago | 5 comments