Konrad Zuse (1994)(xn--plankalkl-x9a.de)

72 points by tmalsburg2 2 years ago | 41 comments

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.

I wrote my PhD Thesis in Typst(fransskarman.com)

477 points by todsacerdoti 1 year ago | 275 comments

A blog post by Frans Skarman about writing his PhD thesis in Typst instead of LaTeX, covering what worked well and what didn't.

Lisping at JPL (2002)(flownet.com)

159 points by adityaathalye 1 year ago | 62 comments

Why is Jepsen written in Clojure?(aphyr.com)

415 points by manicennui 2 years ago | 210 comments

Kyle Kingsbury (Aphyr) blog post explaining why the Jepsen distributed-systems testing tool is written in Clojure, citing concurrency support and JVM interop.

Scheming a mise-en-abîme in BQN(panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments