The Quantum Pontiff

Make Em Laugh, Make Em Cry

Scenes from today’s CSE 322 (introduction to formal methods in computer science) final:
i-8d95dfaef68cbe7825f88b3fdafe2fb9-infinitehobbes.jpg
i-c6993ccacc80273cc0d823d90c322a52-fakexkcd.jpg
i-5c564169e3d380aab3300258b62b865a-turningmachine.jpg