211
Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 257 posts.
212
Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber
We’re introducing new Gemini models, including Gemini 3.6 Flash, 3.5 Flash-Lite and 3.5 Flash Cyber.
213
Resetting Xbox
This message was just sent to Team XBOX employees globally. Team, We are beginning the most significant restructure in XBOX history. After careful
214
Bugs Rust won't catch
In April 2026, Canonical disclosed 44 CVEs in uutils, the Rust reimplementation of GNU coreutils that ships by default since 25.10. Most of them came out of an external audit commissioned ahead of the 26.04 LTS. I read through the list and thought th…
215
No signs of AI payoff outside the tech sector
Despite massive investments and widespread hype around artificial intelligence, the technology has delivered zero financial payoff to corporate America outside of tech. Subscribe for daily updates.
216
De-dollarization: Is the US dollar losing its dominance? (2025)
Top dollar no more? Discover the factors threatening the dominance of the world’s reserve currency and how this is playing out across markets.
217
Advancing the price-performance frontier with GPT‑5.6
Explore lower GPT‑5.6 pricing for Luna and Terra—and how OpenAI’s more efficient models help enterprises deploy AI workflows at scale.
218
We need a federation of forges
Git is decentralized, but what of the rest?
219
Shipping JPEG XL in Chrome
JPEG XL offers better compression than JPEG, built-in HDR support, lossless JPEG transcoding, and more.
220
GPT-5.2 derives a new result in theoretical physics
A new preprint shows GPT-5.2 proposing a new formula for a gluon amplitude, later formally proved and verified by OpenAI and academic collaborators.
221
Anthropic confidentially submits draft S-1 to the SEC
Anthropic has confidentially submitted a draft S-1 registration statement to the Securities and Exchange Commission
222
An Update on Heroku
Today, Heroku is transitioning to a sustaining engineering model focused on stability, security, reliability, and support. Heroku remains an actively supported, production-ready platform, with an emphasis on maintaining quality and operational excellence rather than introducing new features. We know changes like this…
223
Code and Let Live
How we learned to stop worrying and love writeable root filesystems.
224
How the Claude Code team does code review
How do you review code at the volume agents produce it? On the Claude Code team, once we had high coverage and deep reviews, we started optimizing for the minimum amount of human review time that doesn't raise reverts or incidents.
225
LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
226
LLMs work best when the user defines their acceptance criteria first
One of the simplest tests you can run on a database:
227
Unrolling the Codex agent loop
A technical deep dive into the Codex agent loop, explaining how Codex CLI orchestrates models, tools, prompts, and performance using the Responses API.
228
Blender 5.2 LTS
The first long-term support release in 5.x series. Supported until July 2028.
229
A closer look at a BGP anomaly in Venezuela
There has been speculation about the cause of a BGP anomaly observed in Venezuela on January 2. We take a look at BGP route leaks, and dive into what the data suggests caused the anomaly in question.
230
Decisions API is in public beta
Use the Decisions API to check conditions, select from fixed options, and score text, images, and JSON against a rubric.
231
Tailscale state file encryption no longer enabled by default
View changes to the Tailscale client and service.
232
Jepsen: ParticleDB 1.1.4
Modern applications often spread state across a variety of systems: databases, caches, queues, data warehouses, search indices, and so on. Coordinating these systems is challenging: caches are often stale, the analytics platform might lag days behind the primary database, the search index might lose data, and…
233
WebMCP is available for early preview
WebMCP aims to provide a standard way for exposing structured tools, ensuring AI agents can perform actions on your site with increased speed, reliability, and precision.
234
235
Top downloaded skill in ClawHub contains malware
The same capabilities that make OpenClaw a groundbreaking tool also make it an urgent security risk. This blog contains confirmed examples of agent skills being used as malware vectors, and advice on how to protect yourself if you're experimenting with them.
236
The government uses targeted advertising to track your location
The online advertising industry has built a massive surveillance machine, and the government can co-opt it to spy on us.
237
Nearly half of LG smart TV apps contain residential proxy SDKs
Spur scanned 6,038 LG and Samsung smart TV apps and found 2,058 with residential proxy SDKs, exposing privacy and home network risks.
238
Amazon identifies Oct 17 PHP2Shell exploitation prior to public disclosure
Amazon Threat Intelligence identified a PHP2Shell exploitation attempt dating to Oct. 17, 2026, in MadPot telemetry, four days before public disclosure of CVE-2026-109618 and CVE-2026-109619. The exploit attempt originated from an IP address associated with a commercial anonymization network. While the vulnerability…
239
Moltworker: a self-hosted personal AI agent, minus the minis
Moltworker is a middleware Worker and adapted scripts that allows running Moltbot (formerly Clawdbot) on Cloudflare's Sandbox SDK and our Developer Platform APIs. So you can self-host an AI personal assistant — without any new hardware.
240
OpenAI's GPT-6 Astra on ARC-AGI-3
OpenAI's GPT-6 Astra reaches state-of-the-art results on ARC-AGI-3