- Mimi Sheridan and Carol Tobin, edited by David Wilma
- Licton Springs celebrates a long history as both a unique recreational spot and a commercial crossroads. The residential neighborhood in north Seattle is wedged between the busy corridors of Interstate-5 and Aurora Avenue. It takes its name from Liq’tid or Licton, the Salish word for the reddish mud of the springs – one of the few Puget Sound Salish words still used as a place name.
- 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.