Bio: I help run the Recurse Center! I enjoy food, friends, and firsts.
A long form essay that shows the relationship between type systems and logic systems in type theory.
A Julia interface to GLFW 3, a multi-platform library for creating windows with OpenGL or OpenGL ES contexts and receiving many kinds of input.
Catacomb WebGL is a rebuild of Catacomb 3-D from the early 1990's using WebGL. The project was started at RC in 2017.
Lea's talk on weaving notation at Strange Loop 2018 was a fascinating deep dive into the history of weaving, which is also the history of programming!