Wikipedia And The Jews, Mark Bernstein: “[S]ome Wikipedia editors systematically seek out every mention of a person who might be Jewish in order to mark them as Jews. This is extremely creepy.”

Interview with David Fuchs (2007), “It was quite a thrill to be able to tell the celebrated Donald Knuth that he was all wet, and that clearly the right way to go was to have TeX create its output in a device-independent format.”

Fibred Data Types, by Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, and Anton Setzer. “In this paper we develop a theory of indexed data types where, crucially, the indices are generated inductively at the same time as the data. In order to avoid commitment to any specific notion of indexing we take an axiomatic approach to such data types using fibrations—thus giving us a theory of what we call fibred data types.”

Advanced Go Concurrency Patterns, slides of a talk and video by Sameer Ajmani.

OCaml and typeful programming: an annotated bibliography (of sorts), would be nice to see this updated for current versions of OCaml.

How OCaml type checker works – or what polymorphism and garbage collection have in common, by Oleg Kiselyov.

Zed is an abstract engine for text editiors, written in OCaml.

Mezzo, a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory. Quite interesting.

Mirage is a OCaml-based programming platform for building high-performance, portable networked applications. It can target standard UNIX platforms, and also compile applications into a standalone operating system that runs under the Xen hypervisor

Parsifal, an OCaml-based parsing engine which includes implementations of SSL and Kerberos.

Old School Object Oriented Perl, in case you forgot.

Turbo Pascal Compiler Internals, featuring lots of code.

Zusie, a self-designed Relay Computer.