I’m Sam. I write software. I used to study math at Purdue University.
I’m currently interested in model categories, program verification, and distributed/non-relational database management systems.
more