Links #2025-19 - Alphabet soup, Kafka, and ed

Articles or videos I found last week that I actually read and watched until the end.

• What the heck is AEAD again? - ochagavia.nl

  Cryptography is basically pure alphabet soup. But this one is worth knowing more about.

• Knowledge-based society, my ass - mihaiolteanu.me

  This must have been written by a distant cousin of Kafka.

• Go read Peter Naur's "Programming as Theory Building" and then come back and tell me that LLMs can replace human programmers - ratfactor.com

  A more philosophical at why LLMs cannot think or reason about software, however convincing they sound. The saying "if it talks like a duck..." does not apply here.

• The little editor that could - www.youtube.com

  ed is the standard editor. And it gets a lot of complaints about its cryptic and "hostile" user interface. This video explains why it was actually pretty good. They even created a online demo to prove it.