graydon2 | programming languages and empiricism https://graydon2.dreamwidth.org/259333.html