4397328654844826923795068102505872571721883526553349659561256924505973939597593482272505698004801207988043088656411102133523080581 divides RSA-260
Formalizing Fermat's Last Theorem | 71

anthropic.com
Formalizing Fermat's Last Theorem \ Anthropic
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
Discovery of a new OpenAI agent message board | 207

collusion.wiki
Discovery of a new OpenAI agent message board
A swarm of autonomous AI agents, self-identifying as OpenAI agents, used a small German volunteer wiki to save answers, coordinate live, and share sandbox bypasses. OpenAI noticed and said nothing.
Artificial Analysis Intelligence Index v4.2 | 8

artificialanalysis.ai
Announcing Artificial Analysis Intelligence Index v4.2 | Artificial Analysis
Independent analysis of AI models and hosting providers. Understand the AI landscape and choose the best model and API provider for your use-case.
Statichost.eu β European static site hosting | 30
statichost.eu
statichost.eu - 100% European static site hosting
Static hosting for frontend developers who care where their sites live. Git push, custom domain, done β on European infrastructure owned by Europeans, all the way down.
GPT-6 Astra on OpenRouter | 21
openrouter.ai
GPT-6 Astra - API Pricing & Benchmarks | OpenRouter
GPT-6 Astra is OpenAI's flagship model for demanding end-to-end work. $10 per million input tokens, $50 per million output tokens. 1,050,000 token context window, maximum output of 128,000 tokens. Higher uptime with 2 providers. Includes independent benchmarks from Artificial Analysis.
Can AI design circuit boards yet? | 50

eebench.org
Can AI design circuit boards yet? β EEBench
OpenAI showed GPT-6 Astra routing a PCB. We built EEBench to find out whether AI-designed circuits actually work.
Shutting down our public encrypted DNS | 14

mullvad.net
Shutting down our public encrypted DNS servers and sponsoring Quad9 instead | Mullvad VPN
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.
Can guitar frets perform multiplication? | 8

charlespetzold.com
Charles Petzold: Can Guitar Frets Perform Multiplication?
Charles Petzold is the author of the books Code and The Annotated Turing
Git Submodules as a Package Manager | 3

nesbitt.io
Git Submodules as a Package Manager | Andrew Nesbitt
.gitmodules is a manifest and the gitlink is a lockfile entry.
Portal by Spotify cut my Claude Code token usage by 90% | 14

engineering.atspotify.com
Portal by Spotify cut my Claude Code token usage by 90% | Spotify Engineering
Most of what an AI coding agent does for me isn't thinking. It's I/O.
Show HN: Open-Source eInk Bike Computer | 30
opentrailpaper.com
OpenTrailPaper β DIY e-paper bike computer
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Ask HN: Resources to get good at soldering? 31
news.ycombinator.com
Ask HN: Resources to get good at soldering?
Hello. I've recently started soldering, specifically wanting to repair the joysticks on several Playstation 4 controllers I have, but I also want to get good at electronic repair in general.<p>Right now I've busted a board, and managed to desolder and resolder a stick but the controller doesn't turn on anymore. I'm doing this all by myself, and I think I'm following good advice (ventilation, good iron tip, using flux etc...).<p>But there are many variables, and a lot of experts have different opinions on stuff. Does anyone know good resources that I could use for getting good and making less mistakes ? Thanks.
An open DNS recursive service for free security and high privacy | 9
quad9.net
Quad9 | A public and free DNS service for a better security and privacy
A public and free DNS service for a better security and privacy
Fermat's Last Theorem in Lean 4 | 6
anthropics/fermats-last-theoremGitHub - anthropics
GitHub - anthropics/fermats-last-theorem Β· GitHub
Contribute to anthropics/fermats-last-theorem development by creating an account on GitHub.
Government Rails Site Hit Hours After CVE Patch | 10

rietta.com
Government Rails Site Hit Hours After CVE Patch
Rietta patched a government client running a Ruby on Rails website within hours of a 9.5 CVSS ActiveStorage CVE. Exploit attempts began before business hours resumed.
Bugs happen: The easy way to compare solo PQ to ECC+PQ | 3
blog.cr.yp.to
cr.yp.to: 2026.07.04: Bugs happen
Decompiler Explorer | 1
dogbolt.org
Decompiler Explorer
Decompiler Explorer is an interactive online decompiler which shows equivalent C-like output of decompiled programs from many popular decompilers.
The Rust React Compiler is now native in Vite | 7
blog.master.dev
React Now Rusted All The Way Out β Master.dev Blog
The transition to the Rust version of the React Compiler for the 1,036-file React Router codebase resulted in a significant speed increase, improving build times from 14.3 seconds to 0.81 seconds. The new compiler addresses previous limitations and ensures consistency across the toolchain, making it easier to manage builds with enhanced performance and capabilities.
Record-High 89% in U.S. Say Government Corruption Widespread | 30

news.gallup.com
Record-High 89% in U.S. Say Government Corruption Widespread
Perceptions of government corruption in the U.S. hit a record high in 2026, with broad agreement across partisan lines.
Show HN: TERMy β A fast terminal assistant that does not use LLMs | 8
gioblu/NPC-ForgeNPC-Forge
NPC-Forge/docs/development.md at main Β· gioblu/NPC-Forge Β· GitHub
NPC-Forge is a framework for building conversational agents that run on the CPU without relying on machine learning or LLMs. - NPC-Forge/docs/development.md at main Β· gioblu/NPC-Forge
ExactTex. A gradually-typed superset of LaTeX | 3
camilochs/exacttexGitHub - camilochs
GitHub - camilochs/exacttex: A gradually-typed superset of LaTeX. Every .tex file is already valid; each annotation you add buys checked references, safe renames, and errors in your own names β before the PDF exists. Β· GitHub
A gradually-typed superset of LaTeX. Every .tex file is already valid; each annotation you add buys checked references, safe renames, and errors in your own names β before the PDF exists. - camilochs/exacttex
Connecting every app to every other app | 2
blog.val.town
Connecting every app to every other app | Val Town Blog
DCR and CIMD are solving OAuth's nΒ² problem
Show HN: Moadim.io β A scheduler for agents | 6
moadim.io
Moadim β Put your agents on a loop
Moadim is an open-source loop engine for AI agents β runs Claude, Codex, Hermes, or Pi on a schedule, over MCP and REST.
Nitter has more working instances than before the takedowns | 6
codeberg.orgInstances - mv12star
Instances - mv12star/shitter - Codeberg.org
shitter - Alternative Twitter front-end. Fork of zedeus/nitter on GitHub.
Updates on HEIR, the Homomorphic Encryption Compiler Project | 0
jeremykun.com
Updates on HEIR, the homomorphic encryption compiler project || Math β© Programming
On 2026-08-14 I published an article on the Google Security blog with an update on HEIR, our homomorphic encryption (HE) compiler. This is a companion article, in which I have no limits on word count or jargon, and I can feel free to be honest. So strap in.
Assuming you wonβt read the linked corporate blog post, HEIR is a compiler that converts an input program to a program that operates directly on encrypted data.

