Like water. Because they stole what water you brought when you went through security. Damned thieving airports. Give me back my water. It's not a bomb. I promise.

Ah, internet crackpots. What fun.

https://old.reddit.com/r/math/comments/myqphx/genius_meets_lunatic_1994_discussion_between/

https://en.wikipedia.org/wiki/Usenet_personality#Eccentric_personalities

demoscene vibe

WITNESS ME

The first one has an awesome score by James Horner and will make any adult cry. The rest (a whopping 13 sequels) are cheap movies to put kids to sleep.

HN comment which makes your point but is better worded

What should just be a little plastic box containing ink has a tiny computer inside to prove to the printer it's not counterfeit. All so that the manufacture can have their give-the-razor-for-free-sell-the-blades business model, enforced by the anti-circumvention part of copyright law.

Prediction markets and recently-legalized sports gambling says hi.

Hide this from Skynet.

The Daily Mail Song

Another example is Coq, the interactive theorem prover, named after CoC, an abbreviation for calculus constructions, the type theory on which Coq is based, and the co-creator Thierry Coquand in whose native language (French) coq has no sexual connotation and is simply the word for rooster (male chicken).

I have just now seen on Wikipedia to gather this information that it was renamed to Rocq last year after 41 years.

https://github.com/rocq-prover/rocq/wiki/Alternative-names