- 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)