- The Sultan River is a river in Snohomish County in the U.S. state of Washington. It is a tributary of the Skykomish River, which it joins at the town of Sultan. The river is dammed in its upper third by Culmback Dam to form Spada Lake.
- 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.