I like computers, lambda calculus, and type theoretic proofs, among other things.
Currently in NYC.
I'm a hindu.
Call sign - KE2DBM
(PS. follow reqs are mostly automatic, just have a profile pic and some posts)
This profile is from a federated server and may be incomplete. Browse more on the original instance.