4 ms·Super Turing Machines [pdf]2 points by hackandthink 3y agohackandthink 3y agoTalk is titled: "Exploring hypercomputation with the effective topos"