Hackernews posts about PBS
- Formally Verifying PBS Kids with Lean4 (www.shadaj.me)
- Ups retires its fleet of MD-11 cargo aircraft (www.pbs.org)
- The last U.S.-Russian nuclear pact is about to expire (www.pbs.org)
- Non Asshole Funding for AI Startup – Binary Diffusion (pbs.twimg.com)
- Contaminated: The Carpet Industry's Toxic Legacy (www.pbs.org)
- "Hate brings views": Confessions of a London fake news TikToker (www.londoncentric.media)
- Digital Iris [video] (www.youtube.com)
- A Codebase by an Agent for an Agent (ampcode.com)
- It's 2026, Just Use Postgres (www.tigerdata.com)
- Anthropic raises $30B in Series G funding at $380B post-money valuation (www.anthropic.com)
- Introduction to PostgreSQL Indexes (dlt.github.io)
- MIT Technology Review has confirmed that posts on Moltbook were fake (www.technologyreview.com)
- Apple patches decade-old iOS zero-day, possibly exploited by commercial spyware (www.theregister.com)
- Sqldef: Idempotent schema management tool for MySQL, PostgreSQL, SQLite (sqldef.github.io)
- Using PostgreSQL as a Dead Letter Queue for Event-Driven Systems (www.diljitpr.net)
- How Jeff Bezos Brought Down the Washington Post (www.newyorker.com)
- A party balloon shut down El Paso International Airport; estimated cost –$573k (log.jasongodfrey.info)