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)
Following | Followers |
6315 | 962 |
Following | Followers |
6315 | 962 |