A Programmer's Notebook

Similar to the dev logs, this should be a compendium of various things I've learned about programming; it'll be more of a long-form thing.

Pages

Computing

• Turing machines

Ghosts in the machine

• Chapter notes from Gödel, Escher, Bach

Ideas

• A hypervisor for the modern age (imported from my old notebook)
• Lisp DCOS (imported from my old notebook)
• A content-addressable data store with object capabilities (imported from my old notebook)

Maths

• Programmer's Introduction to Maths

Process

• Seven deadly sins
• Solving problems

You might also be interested in the colophon.