About Us

Under The Button, your 24/7 source for all things Penn.

Penn Links

Recently Commented

News  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?

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."

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

Comments powered by Disqus

Please note All comments are eligible for publication in The Daily Pennsylvanian.

f