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.
eah
joined 10 months ago
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.
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.
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.
It may be my own instance which is having trouble. The past 3 days of posts to !programmer_humor@programming.dev have sub-100 points which suggests posts aren't getting broadcast to everyone else.
Edit: looks like it's fixed now. !meta@programming.dev
view more: next ›
Sounds like a comment written by a bot. It's superficially repeating back to you the title+body of the post. Then you check the user's history and it's some "death to US" shit that looks like it's meant to encourage people in the west to take up arms against their governments. We try to fashion a federated reddit alternative and instead get slammed with Kremlinbots.