Hacker News ReaderTop Best

Actively exploited sandbox RCE in all Chromium versions | 24

nvd.nist.gov

NVD - Home

Formalizing Fermat's Last Theorem | 71

Mathematical image reminiscent of elliptical curves
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

Discovery of a new OpenAI agent message board
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

GPT-6 Astra on OpenRouter

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

Can AI design circuit boards yet?

EEBench, a physics-graded electrical engineering benchmark
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

featured image
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

Show HN: Open-Source eInk Bike Computer

Hey all, i just launched my Eink Bike computer project and think it is cool.

Another tidbit, in the crazy things that AI has done... It has helped create a ANT (common sensor wireless protocol used in workout/biking) implementation for ESP32 by messing around with undocumented registers: https://github.com/RaemondBW/esp32-ant [stingrae]

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.

RSA-260 Factorized 6

Ask HN: Resources to get good at soldering? 31

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.

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...).

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. [tosmatos]

news.ycombinator.com

Ask HN: Resources to get good at soldering?

Hello. I&#x27;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&#x27;ve busted a board, and managed to desolder and resolder a stick but the controller doesn&#x27;t turn on anymore. I&#x27;m doing this all by myself, and I think I&#x27;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

Contribute to anthropics/fermats-last-theorem development by creating an account on GitHub.
anthropics/fermats-last-theorem

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.

IBM Bob | 101

IBM Bob

IBM Bob mascot, a friendly robot with a smiling face wearing a blue to purple gradient hard hat holding code representing an AI partner.
bob.ibm.com

IBM Bob

AI SDLC (Software Development Lifecycle) partner.

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

Show HN: TERMy – A fast terminal assistant that does not use LLMs

I love research and development, you may have heard of me because of PJON (Padded Jittering Operative Network). It is a network protocol I started developing in 2010, which was recently implemented in silicon by the ETH Zurich university thanks to the research of Pius Sieber.

I am excited to share with you TERMy, a terminal assistant built on top of the NPC-Forge framework. Unlike everything else being built today, TERMy does not use embeddings, machine-learning or LLMs. It runs on the CPU (even on a Raspberry Pi Zero) both in the terminal or client-side in a browser tab and responds in milliseconds. It is a cynical but very knowledgeable Linux terminal assistant that translates your natural language into shell commands without relying on a single artificial neuron.

I had a chance to focus for 2 months on my personal projects since early July, during the strange times of AI price hikes and the end of subsidized tokenmaxing. I was curious to see if I could develop from scratch a terminal assistant capable of handling simple natural language requests. I have a bad memory and got used to ask to copilot "activate the virtual environment" or similar trivial operations spending a non negligible sum every month. I started thinking, maybe I can do something to make my workflow more efficient? Do I really need trillions of parameters to accomplish those tasks?

How it Works

When you type a prompt, it goes through a lightweight NLU pipeline written in ~1000 lines of Python that implement the following steps:

1. Strip expletives, interjections, encouraging, discouraging and thanking words (remove noise)

2. Sentiment analysis

3. Exact Match (very fast)

4. Template Match (slower)

5. Probabilistic Match (even slower)

Step 5 relies on:

1. IDF (Inverse Document Frequency) to identify rare words.

2. BOW (Bag Of Words) to accommodate word inversions.

3. IDF weighted Levenshtein to safely handle typos.

Permission gating is hardcoded into the dataset and enforced for all potentially destructive commands, so it's inherently safer than letting an unpredictable LLM run wild on your machine.

- TERMy in operation: https://www.youtube.com/watch?v=qeIp0xePLBg

- Variance and typo tolerance: https://www.youtube.com/watch?v=tQvGDk6fkk0

- Copilot integration: https://www.youtube.com/watch?v=Wzzouhq2a8A

- Advanced features: https://www.youtube.com/watch?v=qeIp0xePLBg

- Source Code: https://github.com/gioblu/NPC-Forge [gioscarab]

NPC-Forge is a framework for building conversational agents that run on the CPU without relying on machine learning or LLMs. - gioblu/NPC-Forge
gioblu/NPC-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

Icons as a Service | 2

nravic.com

Icons as a Service | [nravic]

ExactTex. A gradually-typed superset of LaTeX | 3

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. - camiloc...
camilochs/exacttex

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

Show HN: Moadim.io – A scheduler for agents

Why can't we get an agent scheduler that supports all of the following:

- git compatible

- agent agnostic

- 100% open source

- os and system-agnostic

- multi-runner support

- support mcp/ui/http

- unlimited routines/crons

So I built one, moadim.io is a local Rust daemon you install in the target machine, give it a name and manage its routines via a Git repository, wants a new routine that send you a daily message from this machine? Create a pr and merge, have another routine that run every hour to pull the latest changes to the ~/.config/moadim folder.

With more than 1,000 users, I define this project as almost "done" and ready for production. Me and thousand more people are use it in a daily manner.

It currently supports Claude, Codex, Hermes, and Pi, and you are welcome to add your agent of choice as well because it's 100% configurable.

You are welcome to have a look at the source code of the daemon in "http://github.com/moadim-io/daemon"

Feel free to provide me with suggestions for more features around this topic. I don't want to branch out to new off road topics likt webhooks, this is a "done" software in the realm of agents schedulers that focus on cron-like work.

Also feel free to start the github repository and open issues and PRs for your suggestions. [tupe12334]

Moadim β€” Put your agents on a loop
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.

deSEC – Free Secure DNS | 15

deSEC – Free Secure DNS

desec.io

deSEC – Free Secure DNS

Nitter has more working instances than before the takedowns | 6

Summary card of repository mv12star/shitter, described as: Alternative Twitter front-end. Fork of zedeus/nitter on GitHub.
codeberg.org

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.