Joy of Computing

An outline of how to think about the existential quantifier as it is encoded in higher order type theory. — dk

A tool for automatically generating documentation from the recorded behavior of a program. — porterjamesj

Gitlet is an implementation of Git in JavaScript. It's a wonderful example of building a project with the intention of learning. — jollysonali

Nick describes his first commit to "real-deal core GNU Emacs," with some interesting commentary and historical context. — rachel

This code can detect whether one song is a cover of another, and was eventually published at ICML 2018! — porterjamesj

Click to mine Etherium. Talk about skeuomorphism! — porterjamesj

I love the attention to detail in this website, even the font is custom designed! — porterjamesj

This paper details how Timnit and her team used Google Street View images of cars, deep learning, and neural networks to (accurately!) predict the demographics and political leanings of a neighborhood based on the types of vehicles detected there. — rachel

This is a clear, fun, and fascinating essay that explains how neural networks can get image classification woefully wrong. — nicholasbs

This algorithm tells you if a given directed graph is acyclic or not and simultaneously puts its vertices into the most convenient order for processing, all in linear time! — vaibhavsagar