- East Africa, also known as Eastern Africa or the East of Africa, is a region at the eastern edge of the African continent, distinguished by its geographical, historical, and cultural landscape. Defined in varying scopes, the region is recognized in the United Nations Statistics Division scheme as encompassing 18 sovereign states and 4 territories.
- 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.