Ads are "rolling out gradually" to WhatsApp
(arstechnica.com)
June 2025 Archive
3451.
3452.
3453.
Show HN: Tiny Hoare logic verifier using SMT
(github.com)
3454.
3455.
Ghostty is a fast, cross-platform terminal emulator
(github.com)
3456.
Mathematicians discover a new way to find prime numbers
(scientificamerican.com)
3457.
3458.
What's New in Surrealist 3.4
(surrealdb.com)
3459.
3460.
3461.
Real-world performance comparison of ebtree/cebtree/rbtree
(wtarreau.blogspot.com)
3462.
3463.
3465.
3467.
MongoDB, Inc. v. FerretDB, Inc. [pdf]
(storage.courtlistener.com)
3469.
Measles vaccines save lives each year
(ourworldindata.org)
3470.
3471.
3472.
3473.
The story of how Boulder Dash was created
(spillhistorie.no)
3474.
3475.
Homemade GPS Receiver (1992)
(lea.hamradio.si)
3476.
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.