This falling-sand game makes some beautiful emergent visualizations.
Hide secret messages in pictures of cats
A compiler from a subset of Python to WebAssembly
It was so fun watching this live at RC!
A novel in collaboration with Ernest Hemingway and the Wordnik API
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.