- The Arcola High Bridge is the most spectacular river crossing in the Twin Cities metro area. It crosses the nearly mile wide Saint Croix River Valley between the village of Arcola, Minnesota, and Somerset, Wisconsin. It consists of five huge steel arches that tower nearly 200 feet over the bottom of the valley.
- The Arcole High Bridge is formally named the Soo Line High Bridge.
- Turing kicked us out of Heaven (buttondown.com)
The halting problem is “undecidable”: there’s no algorithm which can tell you if an arbitrary program with an arbitrary input will halt or not. IE, if you give me a proposed “halt-detector”, I can inspect it and come up with a program and input for which it would give the wrong answer.