Gauguin, Descartes, Bayes: A Diurnal Golem's Brain

A gauguine is a probabilistic program that infers itself. Repeatedly asked to guess its own source code, it detects patterns in its previous guesses and bootstraps self-knowledge until it discovers that code. The essay explores how and why to write one, and what constructing it teaches us.