august: things i've read

things i’ve read trying to keep my mind occupied with before i drove myself to feral insanity

book: learn kernels

book: indian political thought

paper: on understanding types, data abstraction and polymorphism

paper: intuitionistic type theory

paper: propositions as types

paper: mapreduce

paper: paxos made simple

paper: dynamo

paper: the google file system

paper: out of the tar pit