Hackernews posts about PBS

1. Formally Verifying PBS Kids with Lean4 (www.shadaj.me)
   68 points by shadaj 19 days ago | 5 comments
2. Clawd Agent accidentally social engineers its own master, confesses on ClawdBook (pbs.twimg.com)
   27 points by CGMthrowaway 22 days ago | 2 comments
3. Ups retires its fleet of MD-11 cargo aircraft (www.pbs.org)
   17 points by canucker2016 25 days ago | 7 comments
4. 'You can't have guns. You can't walk in with guns,' Trump says of Pretti killing (www.pbs.org)
   14 points by archy_ 25 days ago | 3 comments
5. Trump says will revoke church tax exempt status if leaders don't comply with him (www.pbs.org)
   10 points by stopbulying 15 days ago | 6 comments
6. ICE surveillance tools and tactics raise questions about civil liberties (www.pbs.org)
   9 points by diogenes_atx 16 days ago | discuss
7. Pentagon embraces Musk's Grok AI chatbot as it draws global outcry (www.pbs.org)
   4 points by zzzeek 16 days ago | 2 comments
8. Leader in smallpox eradication, Dr. William Foege, dies at 89 (www.pbs.org)
   4 points by toomuchtodo 26 days ago | 1 comments
9. Injured by a fishing hook, this seabird knocked on the ER door for help (www.pbs.org)
   3 points by speckx 4 days ago | 1 comments
10. The last U.S.-Russian nuclear pact is about to expire (www.pbs.org)
    3 points by geox 17 days ago | 1 comments
11. Non Asshole Funding for AI Startup – Binary Diffusion (pbs.twimg.com)
    2 points by corn13read2 7 days ago | 2 comments
12. Pentagon and Energy Department airlifts nuclear reactor from California to Utah (www.pbs.org)
    2 points by ck2 about 1 hour ago | discuss
13. Contaminated: The Carpet Industry's Toxic Legacy (www.pbs.org)
    2 points by johntfella 16 days ago | discuss
14. "Hate brings views": Confessions of a London fake news TikToker (www.londoncentric.media)
    171 points by pbshgthm 11 days ago | 108 comments
15. Digital Iris [video] (www.youtube.com)
    2 points by pbshgthm 11 days ago | 1 comments
16. A Codebase by an Agent for an Agent (ampcode.com)
    1 points by pbshgthm 27 days ago | discuss
17. It's 2026, Just Use Postgres (www.tigerdata.com)
    532 points by turtles3 16 days ago | 333 comments
18. Anthropic raises $30B in Series G funding at $380B post-money valuation (www.anthropic.com)
    446 points by ryanhn 9 days ago | 460 comments
19. ASML staffing changes could result in a net reduction of around 1700 positions (www.asml.com)
    339 points by dep_b 25 days ago | 352 comments
20. Introduction to PostgreSQL Indexes (dlt.github.io)
    328 points by dlt 28 days ago | 16 comments
21. MIT Technology Review has confirmed that posts on Moltbook were fake (www.technologyreview.com)
    317 points by helloplanets 14 days ago | 136 comments
22. Apple patches decade-old iOS zero-day, possibly exploited by commercial spyware (www.theregister.com)
    266 points by beardyw 9 days ago | 230 comments
23. Sqldef: Idempotent schema management tool for MySQL, PostgreSQL, SQLite (sqldef.github.io)
    263 points by Palmik 21 days ago | 61 comments
24. Using PostgreSQL as a Dead Letter Queue for Event-Driven Systems (www.diljitpr.net)
    258 points by tanelpoder 27 days ago | 81 comments
25. How Jeff Bezos Brought Down the Washington Post (www.newyorker.com)
    243 points by thm 17 days ago | 262 comments
26. Show HN: SQL-tap – Real-time SQL traffic viewer for PostgreSQL and MySQL (github.com)
    233 points by mickamy 8 days ago | 44 comments
27. A GTA modder has got the 1997 original working on modern PCs and Steam Deck (gtaforums.com)
    226 points by HelloUsername 13 days ago | 118 comments
28. Postmortem: Our first VLEO satellite mission (with imagery and flight data) (albedo.com)
    219 points by topherhaddad 28 days ago | 72 comments
29. A party balloon shut down El Paso International Airport; estimated cost –$573k (log.jasongodfrey.info)
    193 points by heifer 9 days ago | 132 comments
30. Invention of DNA "page numbers" opens up possibilities for the bioeconomy (www.caltech.edu)
    154 points by dagurp 16 days ago | 96 comments