Towards a Theory of Bugs: The Ruliology of the Unexpected

Connections in Math: the two kinds of random

Logic for Programmers

Methinks it is a weasel

Systems and Delays

Claude found a counterexample to the Jacobian Conjecture

Human mathematicians are being outcounterexampled

Cross-stitch prep for math nerds

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted

Fast Synthesis of Basic Oscillators