push.cx
Peter Bhat Harkins
Return Statement
Life: New York City, Recurce Center
Comments Off on Return Statement
I’ve finished my time at Recurse Center, and a small tradition is to write a “return statement” about what you did in your time there.
Attending Recurse Center
Life: New York City, Recurse Cener
Comments Off on Attending Recurse Center
I have been accepted to the Recurse Center to spend three months on collaborative, self-directed study of programming. I’m planning to continue studying Haskell and dependent types, proof assistants, and category theory. Maybe Coq, Idris, or TLA+ if I can find someone else interested.