June 2025 Archive
3451.
Ads are "rolling out gradually" to WhatsApp (arstechnica.com)
3452.
Trump's Smartphone Can't Be Made in America for $499 by August (wsj.com)
3453.
Show HN: Tiny Hoare logic verifier using SMT (github.com)
3454.
Show HN: MediaCMS v6 – open-source video platform with trimmer and RBAC (github.com)
3455.
Ghostty is a fast, cross-platform terminal emulator (github.com)
3456.
Mathematicians discover a new way to find prime numbers (scientificamerican.com)
3457.
Show HN: ZenStack V3 – TypeScript ORM Combines Strength of Prisma + Drizzle (github.com)
3458.
What's New in Surrealist 3.4 (surrealdb.com)
3459.
Fortescue Infinity Train electric locomotive never needs fuel or charging (electrek.co)
3460.
Texas family detention reveals adults fighting kids for clean water (apnews.com)
3461.
Real-world performance comparison of ebtree/cebtree/rbtree (wtarreau.blogspot.com)
3462.
Show HN: Daf·thunk – open-source Editor for Prototyping Workflows on Cloudflare (dafthunk.com)
3463.
Trump Says U.S. Ending Trade Talks with Canada because of digital services taxes (nytimes.com)
3464.
3465.
The EU's "Encryption Roadmap" Makes Everyone Less Safe (eff.org)
3466.
Greenland mega tsunamis: First direct observation of trapped waves shook Earth (phys.org)
3467.
MongoDB, Inc. v. FerretDB, Inc. [pdf] (storage.courtlistener.com)
3468.
3469.
Measles vaccines save lives each year (ourworldindata.org)
3470.
Show HN: Arxivlens – Save Hours Researching Scientific Literature on ArXiv (arxivlens.com)
3471.
How the Trump Administration Banished Eight Men to Legal Limbo in Africa (nytimes.com)
3472.
Show HN: NanoTS – Fast, embeddable, tiny time series database (github.com)
3473.
The story of how Boulder Dash was created (spillhistorie.no)
3474.
Cloudflare Warns EU About Extensive Piracy Overblocking, Calls for Safeguards (torrentfreak.com)
3475.
Homemade GPS Receiver (1992) (lea.hamradio.si)
3476.
Russian Intelligence Says It Collects WeChat Data. What Does That Mean? (nytimes.com)
3477.
Rediscovering the origins of my Lisp journey (journal.paoloamoroso.com)
3478.
A New Rust Packaging Model(For Guix) (guix.gnu.org)
3479.
Our languages have more in common than you might think (washingtonpost.com)
3480.
Goodbye CVE? European Vulnerability Database EUVD Now Live (infoq.com)