The use of LLM assistants for kernel development(lwn.net)

63 points by Bogdanp 1 year ago | 23 comments

A new futex API(lwn.net)

71 points by signa11 3 years ago | 36 comments

The Ur Programming Language Family(impredicative.com)

99 points by Tomte 2 years ago | 34 comments

Loglan'82: programming language for object-oriented and distributed programming(lem12.uksw.edu.pl)

48 points by danielam 1 year ago | 6 comments

The long life of Apache httpd 2.4(utcc.utoronto.ca)

156 points by ingve 3 years ago | 121 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.