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