Blog Archives

COQ Compiler

Well, well, well, the French have invented a little programming language and decided to name it COQ.  So, let’s put 20 seconds on the CLOQ and see how many IT jokes we can tell.
  • So, I see here on your résumé that you had extensive experience working with COQ in college.  Can you elaborate?  (HDW)
  • Staring at a monitor all day will make you go CoqIDE. (QOK)
  • Describe a time when you’ve handled COQ before.  (DF)
  • What is the name of that software language you used… it’s right on the tip of my tongue!  (HDW)
  • What shop are they over at Microsoft again?  Oh, that’s right… they’re a COQ Shop.  (HDW)
  • Is COQ blocking or is it ASSynchronous?  (QOK)
  • To install COQ, just unzip it.  (QOK)
  • COQ is bloatwear?  (QOK)
  • Free as in speech, or free as in COQ?  (QOK)
  • Just put the COQ disk in the hard drive.  (QOK)
  • When is the next rollout of COQ?  (QOK)
  • Terabytes COQ. Bitch.  (QOK)
  • COQ is a third-party tool.  (QOK)
  • Does COQ output Big O notation?  (QOK)

Well played QOK.  You win!  Your prize?  You guessed it; COQ!!!  Thanks for playing with my COQ.