Descending into the pits of the @aperiodical post queue to hew some maths news from the living rock. Got my undecidability canary with me.