Justin Meiners, a programmer, writes about virtual machines, literate programming, math-minded coding, and early neural nets, with small projects.
HN links it for the LC-3 virtual machine tutorial, its neural net simulator, and a foundations-of-math reading list; one commenter defends his experience.
Computation: Finite and Infinite is one of my favorite books.
It's fascinating to see computation built up from the theory of neural networks.
Marvin Minsky is just such a deep thinker and writer.
For those who are interested I made the neural net system into a simulator:
https://justinmeiners.github.io/neural-nets-sim/
Here's another long literate program that was written using Literate:
https://justinmeiners.github.io/lc3-vm/
His CV suggests something otherwise. He is experienced.
https://justinmeiners.github.io/files/cv.pdf
Excellent list, I would merge with https://justinmeiners.github.io/foundations-of-math-reading/
The inspiration [0] is written in C.
[0] https://justinmeiners.github.io/lc3-vm/