I like computers, lambda calculus, and type theoretic proofs, among other things.

Currently in NYC.

I'm also a hindu.

(PS. follow reqs are mostly automatic, just have a profile pic and some posts)

FollowingFollowers
6315962