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...

The Photographic Archive contains more than 60,000 images documenting the history of the University of Chicago.

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...