tired: non deterministic weird machines are the heart of infosec problems wired: non deterministic weird machines are the "solution" to infosec problems