Michael Burge

On one hand, the death penalty is the worst possible punishment they're allowed to give for a crime. On the other, committing suicide is "escaping justice".

I like the 2^n-1 values: They indicate the bitstring can only grow by expending some "entropy" measure related to the number of 1s on the right. If you could prove that a positive measure is monotone-decreasing, that would show the machine always terminates.

The fool thinks: "I shouldn't write such a dumb comment on the internet" The wise man knows: "The Dunning-Kruger effect implies I'm actually a genius and the world needs my wisdom"

Remember: It's not about winning, it's about making sure one unlucky schmuck on the enemy team has the worst game of his life.

I wonder how hard it would be for software to check a regex for issues like these. As part of the deploy process, "Prove that all inputs with less than 5 million characters terminate in fewer than X steps, or fail with a counterexample".https://twitter.com/lobsters/status/1146335324957659138 …

Kids today and their "dieting". Back in my day, losing weight meant getting your leg chewed off by a dinosaur. Builds character.

See also: Help! My language doesn't support volatile, and my compiler is caching the reads.

How to Trick Lazy Compiler into doing their Job Compiler: I optimized <code> to 0 because it had undefined behavior. Me: if (is_goldbach_conjecture()) { <code> } Compiler: Here it is, but it'll never execute buddy. Me: Linker, don't tell him "is_goldbach_conjecture" returns 1.

"Maybe my problem is using the latest driver. Maybe it takes them like a month to work through all the bugs, so I'll use a slightly older one" "Looks like it's working" *5 minutes later* "NVRM: GPU at 00000000:01:00.0 has fallen off the bus. A GPU crash dump has been created."

"I haven't updated my Nvidia driver in like 3 years. Maybe it will fix this minor annoyance." *An hour later* "So if I apply this patch and recompile my kernel, my computer will boot normally again?"

Kid: "Where did the dinosaurs go?" "The big oil companies melted them down into gas so we could drive to buy you ice cream."

Another use might be people learning a specific accent. An American student speaking Japanese sounds very different from a native Japanese speaker, because they like to stress words like in English. If software could correct the accent, people might recognize the difference.