Loosely Coupled Thinking - Linkblog

98 links blogged · Displaying 5 links per page · Back to the blog

• Oct 30, 2026 A Scholarly Analysis of My Favorite Studio Ghibli Film: Porco Rosso
  Porco Rosso is the story of a valiant pig who fought against flying pirates, for his pride, his lover, and his fortune. Truly, a wonderful film.
• Oct 27, 2026 Using AI to prove the safety and liveness of TLA+
  This is very cool. Generating and Solving Temporal Proof Obligations with LLM Agents (PDF)
• Oct 27, 2026 In China, the AI bubble has already burst
  All bubbles inevitably burst
• Oct 27, 2026 The BigUndo: This iteration of the web will be far better than the first one

  Dave Winer's plans for The Big Undo used to be the vision for the web:

  1. Small parts loosely joined.

  2. All parts replaceable.

  We all know how this vision was corrupted by big money from big tech firms.

  I'm excited to see where this goes and help out where I can.

  You should too.

• Oct 27, 2026 Let's try again, this time with Markdown in place of HTML
  The web was revolutionary when it came out, we needed a fresh start, the personal computer world was a complete mess. There was no networking standard. But now the web itself has become as messed up as what it replaced, so let's try again, this time with Markdown in place of HTML, and no big companies in charge. It may be small but it will be open. And don't forget the web itself was once very small.