AI handles incidents, engineers lose touch with their systems
When I was an SRE at LinkedIn, back in 2012, I designed a system that could heal itself and learn from previous incidents. AI capabilities were nowhere near what we have today, and that remained a prototype, but this is now a reality. These tools do it all: inspect alerts, form hypotheses, query telemetry, correlate […]
Git hosting that never leaves Europe
How do I move a repository over from GitHub? Install the pun CLI and run pun import. With no arguments it lists your GitHub repositories so you can pick the ones you want. A GitHub import brings the full git history along with labels, issues, and closed and merged pull requests with their conversation comments […]
Why are European countries moving their gold out of North America?
Cavatoni, of the World Gold Council, said one standard approach to move gold stocks was to sell the commodity in one place and buy it in another. “Let’s say I want my gold in New York and I have it in London. I could sell it in London, buy it in New York, same day, […]
GPT-6 Astra in code review: Gains, privacy, and cost
Some of the hardest work in code review happens outside the changed lines. A change can look correct in isolation and still break code elsewhere in the system. That is what makes our early results for OpenAI’s GPT-6 Astra most interesting. In our evaluation, Astra caught approximately 4% more labeled bugs through actionable findings than […]
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 […]