Things I worked out and wanted written down: math, machines, and how the two meet.
Nothing published yet.