4 ms·

Funfact: PQ is short for toilet paper in French So libpq always cracks me up. But then again there's a theorem prover called Coq (which is indeed pronounced as

by cpa 6y ago

Funfact: PQ is short for toilet paper in French So libpq always cracks me up. But then again there's a theorem prover called Coq (which is indeed pronounced as you imagine, it means rooster) and it's been named by French researchers at INRIA!

zdkl 6y ago
libcaca, also french: http://caca.zoy.org/ http://caca.zoy.org/
- gonzus 6y ago
  Ok, let's talk about this... pico, the editor and SI prefix, means "dick" in at least some Spanish-speaking countries... Source of endless nerd jokes.
  - mst 6y ago
    Not to mention the (un)surprisingly low sales in spanish speaking countries of the car known as the Vauxhall Nova ...
brandmeyer 6y ago
As an American, I feel like I have to deliberately mis-pronounce 'coq' the theorem prover like 'coke' the soda.
- ironmagma 6y ago
  Same. It really doesn't help that their logo is skin-colored and the shape that it is...