Monthly Highlights
2761.
The U.K. Smoking Ban Is Illiberal
(theatlantic.com)
2764.
Rumor: Anthropic is going to buy Atlassian?
(old.reddit.com)
2765.
Coq theorem prover is now called Rocq
(rocq-prover.org)
2766.
2767.
2768.
The best tools for sending an email if you go silent
(blog.alcazarsec.com)
2770.
Pentagon Threatened the Pope After He Criticized Trump
(newrepublic.com)
2771.
2772.
California's Billionaire Tax Has the Signatures to Make the Ballot
(sfstandard.com)
2773.
How Much Caffeine in Coffee Cup?
(researchgate.net)
2774.
2775.
Should we just skip code review now?
(xata.io)
2776.
2777.
2778.
Show HN: Run GUIs as Scripts
(github.com)
2779.
2780.
ChatGPT allegedly advised Florida State shooter when and where to strike
(washingtonpost.com)
2782.
2783.
No woman in England or Wales can be prosecuted for an abortion any more
(cosmopolitan.com)
2784.
Show HN: Nimbus – Browser with Claude Code UX
(usenimbus.app)
2785.
GTK2-NG: A community effort to revive and modernize GTK2
(git.devuan.org)
2786.
Rock carving facts
(tanumworldheritage.se)
2787.
2788.
DuckLake v1.0
(ducklake.select)
2789.
The Great Majority: Body Snatching and Burial Reform in 19th-Century Britain
(publicdomainreview.org)
2790.
Bun v1.3.12
(bun.com)