An outline of how to think about the existential quantifier as it is encoded in higher order type theory.
A tool for automatically generating documentation from the recorded behavior of a program.
Nick describes his first commit to "real-deal core GNU Emacs," with some interesting commentary and historical context.
This code can detect whether one song is a cover of another, and was eventually published at ICML 2018!
Click to mine Etherium. Talk about skeuomorphism!
I love the attention to detail in this website, even the font is custom designed!
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.
This is a clear, fun, and fascinating essay that explains how neural networks can get image classification woefully wrong.
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!