home

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.

recent blog posts

more