Postmortem for Kernel Soundness Bug #14576
2026-08-01 A soundness bug in the Lean kernel (#14576) was reported and fixed during the week of July 27. It has had visibility on Zulip and social media (e.g., X, LinkedIn, and Mastodon). What happened On July 25, Ramana Kumar published a repository containing a sorry-free ”disproof” of the Collatz conjecture, produced with AI assistance. […]
NetBSD 11.0 Released
August 01, 2026 posted by Martin Husemann The NetBSD project is pleased to (finally) announce the NetBSD 11.0 release!See the release announcement for details. If you want to try out 11.0 please check the installation notes for your architecture and download the preferred install image from the CDN. If you are using an ARM based […]
Tesla Spyware
I noticed my Model X was uploading ~2.6gb of something to Tesla when it parked and connected to WiFi. Hopefully turning all these settings off stops it; otherwise, I might need a new car. But are any good?
I ♥ RSS – A directory of people who love RSS
Today, I launched I ♥ RSS, a directory for people who love RSS. I’ve already added the badge to my footer and submitted my site to the directory. It also shows a nice live blogroll on the homepage (powered by FeedLand). If you love RSS as much as I do, take a look and add your own […]
Franken.domains: Stitched-Together Domains, Because Every .com Is Taken
NOT YET ALIVE Every dictionary word .com was reanimated decades ago. So down in the lab we stitch new bodies: real words, cut at the seam, grafted onto donor limbs from 150 country codes and 58 generic TLDs, and verified against the registry itself. The specimens below are still lifeless. Throw the switch before someone […]
Pgtestdb’s template cloning approach to testing is fast
I was reminded by Cup o’ Go yesterday of the existence of Peter Downs’ pgtestdb, a Go/Postgres testing package. pgtestdb is built around Postgres template databases, a built-in feature that you can try right from a vanilla psql shell: CREATE DATABASE dbname TEMPLATE template_to_copy; Copying a template is very fast, more so than migrating a […]
Indexing the Data Lake for Online Point Queries
Companies like Spotify need vast quantities of data accessible at low latency for online services and, increasingly, AI Agents acting on behalf of users. Online services — such as portals and personalization features that use or display a user’s listening history — need to look up and paginate through per-user data at interactive speeds. AI […]
GitHub has alternatives, but no replacement
Codeberg, a Git code hosting platform, recently took a decision to prohibit projects that mostly consist of generative-AI-written code which has prompted concern and extensive discussion elsewhere. The decision does not surprise me, and I don’t mean that as a criticism. Codeberg has always presented itself as a mission-driven alternative to GitHub, not neutral infrastructure. […]
Cursor removed cost information from the usage page and CSV export
Bingojr (James) July 31, 2026, 4:52pm 1 I just noticed Cursor Usage window switched from $$ to Token amount. I use this Usage window closely to keep tabs on my daily/active spending, not from the spending overall page. Today, the $$ amount is replaced by token amount which is completely useless. Any way to revert […]
Explorative modeling: Train on the best of K guesses
Website: https://explorative-modeling.github.io/ GitHub: https://github.com/alexiglad/XM TLDR: We introduce Explorative Modeling, a new paradigm for generative modeling that acts as a third pretraining axis when added to existing generative models, and also enables end-to-end generation. Increasing exploration monotonically improves existing models across images, video, and language, and the gains grow with scale (7%→36% with data, 13%→23% with […]