push.cx
Peter Bhat Harkins
Return Statement
Life: New York City, Recurce Center
1 comment
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
7 comments
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.