Return Statement
Life: ,
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
Life: ,
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