Building and backing interesting things. Verifiable Computation, zk-proofs and identity among other things.

NLP. Deep Learning. Music. Puzzles. Food.

AI startup founder; Former Meta Data Scientist; Columbia CS+Stats