Speaking of GEB, my favorite talk at SPLASH this year was by
@_k_a_c_h_ on Gauguin, Descartes, Bayes.
Instead of constructing a quine / Gödel sentence,
@_k_a_c_h_ shows how to construct a gauguine -- a probabilistic program that infers its own source code.