Dissecting the gzip format (2011)(infinitepartitions.com)

84 points by solannou 2 years ago | 33 comments

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

72 points by tmalsburg2 2 years ago | 41 comments

OpenSSH 10.5/10.5p1(openssh.org)

103 points by voxadam 2 months ago | 32 comments

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

38 points by todsacerdoti 1 year ago | 0 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.

Totality and non-standard recursion in Idris(franklin.dyer.me)

4 points by franklin_p_dyer 2 years ago | 0 comments