Selected readings from October 23, 2026

- Today, we hacked what we'd set out to hack: the iPhone: A firsthand account of a successful iPhone hacking effort with substantial community discussion. - The foolishness of "natural language programming" (1978): A classic critique of natural language programming from a foundational computing figure. - Docker is weird: An analysis of Docker's quirks that has drawn significant reader engagement. - Local Wikipedia: Wikipedia, but only for things a half hour walk from you: A concept for hyperlocal knowledge curation with broad interest and discussion. - LLMs are making formal software verification feasible at a much larger scale: A research perspective on how large language models are impacting software verification practices.