About

 Published 04/18/12 3:23pm

Coq And Lawlz

Screen-Shot-2012-04-18-at-2.00.25-PM


Coq [kok] noun - some sort of interactive theorem prover in the comp sci world and, more importantly, an obvious source of endless jokes that someone finally took advantage of...by advertising Coq lessons to the entire CIS listserv. Who was bold enough to offer them?

Coq-email-2
05233308c705c154658299294de9ed60
Screen-Shot-2012-04-18-at-3.36.40-PM
Coq1
Screen-Shot-2012-04-18-at-3.36.40-PM1

OOOOOOOOOOO!!!!! BOOM ROASTED! OWNED! PUNK'D! BURNED! ICED! DISSED!!!! WHATEVER THEY CALL IT THESE DAYS! Moral of the story: don't make your Gmail password "password."

All comments eligible for publication in Daily Pennsylvanian, Inc. publications.