Daemonization in Unix programs is probably about restarting programs(utcc.utoronto.ca)

69 points by ingve 2 years ago | 40 comments

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

4 points by franklin_p_dyer 2 years ago | 0 comments

Conway's Law and Coding Assistants(mishajw.com)

7 points by mishajw 2 years ago | 4 comments

Scaling HNSWs(antirez.com)

198 points by cyndunlop 11 months ago | 42 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.

Kernighan's Lever(linusakesson.net)

89 points by xk3 10 months ago | 39 comments