~nickdrozd

This blog post attempts to define spaghetti-ness in order to formally test the hypothesis that spaghetti code is the way to maximize runtime in Busy Beaver programs. — Mai

An exploration of the nature of representations of Turing machines, as well as examples of how to implement a Turing machine simulator, single-purpose machines, and finally a general purpose, configurable implementation. — nicholasbs

A series of increasingly complicated algebraic proofs with clear definitions, implemented in Idris, a purely functional programming language. — nicholasbs

An explanation of how to make Emacs' if-expressions behave incorrectly only some of the time, and the resulting humorous behavior of the editor. — porterjamesj

A fun exploration of how to use generic types in Rust to write code that feels more Lisp-like. — nicholasbs

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