"Revenge of the Cold Machines"@cs .