Weird machines, exploitability, and provable unexploitability | Heykuki News