Return Statement ◰ 2017-12-15 15:49
Life: New York City, Recurce Center
No comments

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.

Continue this post

Attending Recurse Center ◰ 2017-08-29 15:22
Life: New York City, Recurce Center
6 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.

Continue this post