~/notes/What I'm readingonmain

What I'm reading


The following is a collection of materials I am reading, or have yet to read but intend to. As I finish works, I’ll remove them from the list.

Papers

  • The Extended Mind, Clark and Chalmers. HTML
  • Programming As Theory Building, Peter Naur. PDF
  • Programming with Union, Intersection, and Negation Types, Giuseppe Castagna. PDF

Books

  • Learning Systems Thinking, Diana Montalion.
  • Gödel, Escher, Bach, Douglas Hofstadter.
  • Designing Data-Intensive Applications, 2nd Edition, Martin Kleppman.
  • The Mythical Man-Month, Fred Brooks.

Articles