This episode we look into the history of the web server NGINX and of web servers more generally.  We play myth buster and try to investigate the widespread story that NGINX arose from a need to s...

This episode is about the Turing Test, and Alan Turing's original description of the test in Computing Machinery and Intelligence.  We also discuss a recent work by two UCSD researchers that clai...

Subscribe to Elucidations:       Note: this was recorded in November of 2022. In the latest episode of Elucidations, Greg Salmieri (University of Texas) joins us once again, this time to dis...

This week Mike and Erik talk about the local-first software movement. There's a pretty cool paper about it from 2019 called "Local-First Software:You Own Your Data, in spite of the Cloud", and there's...

Parenthetically Speaking: Articles by Shriram Krishnamurthi

Hello OCaml friends, I write OCaml using Opam + Dune + Emacs + Tuareg + Merlin. Emacs version 30.1 and Tuareg version 3.0.1. I run utop as my REPL via tuareg-interactive-process, using a pipe as my...

How a morbid bureaucratic snafu can inform a vision for the Department of Government Efficiency.

We have a brand new OCaml release on our hands! 5.3 comes packed with features, fixes, and optimisations, including the return of some ‘familiar faces’. Support for the MSVC port is returning, as is statistical memory profiling now compatible with…

A friendly place to discuss OCaml: an industrial-strength programming language supporting functional, imperative and object-oriented styles

An interview I did on the Elucidations Podcast. The episode is an introduction to J S Mil''s political philosophy; who he was, his place in the liberal tradition, the liberty principle, and utility vs...

Subscribe to Elucidations:         This month, Charlie Wiland and I sit down with Sara Protasi to talk about envy. Which she just came out with a whole book about! Awesome. Click here to do...