Saturday, Feb 23
Type systems and logic
made by trillionalyssa, submitted by jollysonali
A long form essay that shows the relationship between type systems and logic systems in type theory.
~jollysonali
jollysonali’s posts on Joy of Computing
Bio: I help run the Recurse Center! I enjoy food, friends, and firsts.
Wednesday, Feb 6
GLFW.jl
made by jay, submitted by jollysonali
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.
Monday, Feb 4
Catacomb WebGL
made by jay, submitted by jollysonali
Catacomb WebGL is a rebuild of Catacomb 3-D from the early 1990's using WebGL. The project was started at RC in 2017.
Wednesday, Jan 2
Gitlet
made by maryrosecook, submitted by jollysonali
Gitlet is an implementation of Git in JavaScript. It's a wonderful example of building a project with the intention of learning.
Tuesday, Nov 13
"It's Just Matrix Multiplication": Notation for Weaving by Lea Albaugh
made by lea, submitted by jollysonali
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!