Weird machines, exploitability, and provable unexploitability [pdf]

such a good and accessible paper to leave you with an intuition on exploitation and weird machines.