Artificial Analysis Intelligence Index v4.2
We are accelerating elements of our upcoming v5 release with interim updates to keep pace with the frontier. Index v4.2 has more complex and realistic tasks, and more private test sets to prevent gaming Intelligence Index v4.2 changelog: + AA-Briefcase, our agentic knowledge work evaluation with a private test set + Surge’s GDP.pdf, long context […]
Reversing MikroTik’s Silent Patch: The RouterOS 7.23.4 Fix They Wouldn’t Explain
On the 3rd of September 2026, MikroTik quietly pushed RouterOS 7.23.4 (long-term), 7.24.2 (stable) and 6.49.21 (v6) all on the same day. Every one of them carried the same banner: This is an important security update. Most configurations are not at risk, but upgrading is highly recommended. To give time to update your systems, we […]
Portal by Spotify cut my Claude Code token usage by 90%
Most of what an AI coding agent does for me isn’t thinking. It’s I/O. Reading five files to answer a question about one method. Generating a test file that follows the exact same pattern as the twenty test files next to it. Updating docs after a meeting. Thousands of tokens gone and almost zero reasoning. […]
Can guitar frets perform multiplication?
September 4, 2026Roscoe, N.Y. I’m sure that some pictures are worth a thousand words, but others trigger a whole lot of puzzlement. Such was the case with the cover of a book I recently bought entitled Calculating with Tones: The Logarithmic Logic of Music: This book was published by the Oughtred Society, an organization named […]
GPT-6 Astra on OpenRouter
GPT-6 Astra is OpenAI’s flagship model for demanding end-to-end work. It is suited for advanced analysis, software engineering, deep research, scientific work, and document creation, with particular strengths in long-horizon agentic tasks that involve computer and browser use.
Fermat’s Last Theorem: Anthropic has beaten me to it
I guess technically it was revealed to the world by a coffee shop in Islington on Insta, but an hour later it was officially announced by Anthropic: one of their internal models, using the prove2.me platform, has formalized a complete proof of Fermat’s Last Theorem (FLT) in Lean. This is the final theorem to be […]
Statichost.eu – 100% European static site hosting
Hi, fellow web developer! My name is Eric, and I believe the internet got too complicated. Too many layers, too many vendors, too much trust quietly handed to American companies behind the scenes. And it matters who’s behind your infrastructure — and where it lives. I got tired of “European” hosting that runs on American […]
An open DNS recursive service for free security and high privacy
End users have made it clear to industry that privacy should be a central focus for Internet platforms and infrastructure. This demand-side dynamic cannot be fulfilled with the promises of encryption technology alone, however. Quad9 understands the need to compliment complement their its secure and privacy-preserving protocols with policies and practices that protect users too. […]
Can AI design circuit boards yet?
We got pretty excited yesterday when OpenAI put a demo of GPT-6 Astra working on a circuit board in KiCad on the front page of its launch post. It is cool to see electronics show up in a major model release like this. We are obviously still some distance from asking an AI to build […]
Shutting down our public encrypted DNS
Mullvad has operated public encrypted DNS (DoH) servers since 2022. They are unnecessary when using Mullvad VPN — traffic is already encrypted and Mullvad VPN’s internal DNS handles all queries. Outside the VPN, they serve two purposes: Mullvad Browser uses them by default when you’re not on Mullvad VPN, preventing your ISP from seeing the […]