Existential Quantification in Type Theory

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

Margin Notes

made by geoffreylitt, submitted by porterjamesj
A tool for automatically generating documentation from the recorded behavior of a program.

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.

My First Emacs Commit

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

Cover Song Detection using Convolutional Neural Networks

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

Clickmine

made by isthisanart, submitted by porterjamesj
Click to mine Etherium. Talk about skeuomorphism!

The Cartoonist

made by torypeterschild, submitted by porterjamesj
I love the attention to detail in this website, even the font is custom designed!

Using deep learning and Google Street View to estimate the demographic makeup of neighborhoods across the United States

made by tgebru, submitted by rachel
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.

How to trick a neural network into thinking a panda is a vulture

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

An All-in-One DAG Toolkit

made and submitted by vaibhavsagar
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!