In reply to @jdhamkins Joel David Hamkins @jdhamkins · Twitter · 2025-10-14 21:22 UTC https://jdh.hamkins.org/did-turing-ever-halt-hps-colloquium-october-2025/
