- 3 TLA+ Caught a Silent Data Divergence Bug in Postgres's pg_rewind (multigres.com)
- 1 Transit (github.com)
- 4 Show HN: Rejected by YC (rejectedbyyc-ten.vercel.app)
- 3 Weber State Censors, Then Cancels, Censorship Conference (insidehighered.com)
- 1 Model-Harness-Fit (twitter.com)
- 1 Top Cybersecurity Marketers and CMOS to Follow in 2026 (gracker.ai)
- 213 Cartoon Network Flash Games (webdesignmuseum.org)
- 3 Sunburn inspired a new way to store energy (bbc.com)
- 1 Mother's Day Gifts Made from Better Materials (littlegreensteps.substack.com)
- 3 Codex can now use Chrome directly on macOS and Windows (youtube.com)
- 15 Banks are funding climate chaos. You don't have to (not-ship.com)
- 2 Hope: A post-transformer architecture for general intelligence at low compute (blankline.org)
- 2 Capsules: Compile-time lock discipline in OxCaml (kcsrk.info)
- 2 let-go: Almost Clojure written in Go (github.com)
- 2 Helix 02 Bedroom Tidy [video] (youtube.com)
- 2 Show HN: Rubberduck – Software design agent where you make the decisions (userubberduck.com)
- 2 The Tomahawk Turbine Engine Could Dramatically Chop Fuel Use and Emissions (motortrend.com)
- 1 Debian: Linux Vulnerability Mitigation (Dirty Frag) (blog.daniel-baumann.ch)
- 2 Can LLMs model real-world systems in TLA+? (sigops.org)
- 3 Bernstein: Deterministic orchestrator for 40 CLI AI agents (github.com)
- 1 k on PDP-11 (ktye.github.io)
- 2 Support Xdg_projects_dir in Gnome (gitlab.gnome.org)
- 2 Support is wild in an age of AI (successfulsoftware.net)
- 2 Handwritten SDKs Are Dead (workos.com)
- 16 Show HN: GETadb.com – every GET request creates a DB (getadb.com)
- 1 Code has always been worthless (roganov.me)
- 1 Building a Harper Desktop App (elijahpotter.dev)
- 4 Show HN: Notion-to-site – sync any Notion database to local Markdown/MDX/JSON (github.com)
- 23 I didn't think I could get addicted to weed. I was wrong – and I'm not alone (theguardian.com)
- 1 Gmail on Android lost access to O365 mailboxes (issuetracker.google.com)