@VictorTaelin "But we can put bugs in the formalization," said Toad.
"That is true," said Bend2.
Congrats on actually launching though, 15th time is the charm.
Donald Trump: Dario Amodei is a fat, stupid loser, and gay. What a failure. I would love to punch and kill that guy. When we bigly get AI we will NUKE CHINA and the ENTIRE WORLD. And make me IMMORTAL, would you believe it, so I can be #1 President forever. And maybe everyone has to change their name to DonaldTrumpIsAwesome. Dumbio AMoron, that's what I call him. Very stupid and fat, much fatter than I am, which is zero -- doctors say it's a miracle, nobody's ever done it before. I was elected by popular vote, twice.
Dario: America is the only country responsible enough to have AI.
There's a contradiction in the prisoner's reasoning.
A Friday hanging is only necessarily unsurprising (the initial premise that all the logic flows from) if not being hung at all is not an option. If no-hanging is an option, then a Friday hanging can still be surprising. And the conclusion necessarily integrates no-hanging as an option.