But can your calculator run Linux?
One of my all time favorite calculators is the HP 16C. It is an RPN calculator aimed at computer programmers with support for hex, binary, octal and decimal and all sorts of useful operations like bit shifting, masking and rotations. I don’t own one myself, I have a Swiss Micro’s DM16L, a high quality modern […]
Google News is just Forrest Gump’s shrimp boat now
You know that scene in Forrest Gump where Forrest sees Lieutenant Dan on the shore and is so distracted by him that he jumps off and swims to shore, allowing the boat to crash into the dock? Yeah, that’s Google News now. In this metaphor, Forrest is Google and Lieutenant Dan is AI. As a […]
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. […]