THE HACKER NEWS

jlebar
12 hours ago
Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems....
8 HOURS AGO
CEBERT
Portal by Spotify cut my Claude Code token usage by 90%
8 HOURS AGO
WIBBILY
Can guitar frets perform multiplication?
12 HOURS AGO
AARAUJO002
Fermat's Last Theorem in Lean 4
18 HOURS AGO
ARTPAR
IBM Bob
A DAY AGO
GIOSCARAB
Show HN: TERMy – A fast terminal assistant that does not use LLMs
8 HOURS AGO
CHIDIEBERE229
Connecting every app to every other app
4 DAYS AGO
PALASHAWAS
Elevator of the Year: Modernization of the Metropolis Trust Building
15 HOURS AGO
QAINSIGHTS
Project HydraFusion: Frontier quality via multi-model orchestration
3 DAYS AGO
BLUESTEIN
Fomu An FPGA board that fits inside your USB port
4 DAYS AGO
CAMILOCHS
ExactTex. A gradually-typed superset of LaTeX
moultano
19 hours ago
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.
image
Topfi
10 hours ago
GPT-6 Astra on 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 t...
ErenayDev
4 days ago
Git Submodules as a Package Manager
.gitmodules is a manifest and the gitlink is a lockfile entry....
cebert
4 hours ago
GPT-6 Astra in code review: Gains, privacy, and cost
CodeRabbit’s early GPT-6 Astra evaluation covers cross-file bug detection, customer data protection, public API pricing, and building NIGHTSHIFT....
Cider9986
7 hours ago
Nitter has more working instances than before the takedowns
Alternative Twitter front-end. Fork of zedeus/nitter on GitHub....
iopapa
11 hours ago
Can AI design circuit boards yet?
A look at what current models can build, where they fail, and how EEBench tests the electronics in simulation....
nojs
7 hours ago
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 pr...
p4bl0
11 hours ago
Statichost.eu – 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....
https://www.statichost.eu/
mywacaday
12 hours ago
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 quer...
samyok
2 days ago
RSA-260 Factorized
4397328654844826923795068102505872571721883526553349659561256924505973939597593482272505698004801207988043088656411102133523080581 divides RSA-260...
mooreds
11 hours ago
An open DNS recursive service for free security and high privacy
A public and free DNS service for a better security and privacy...
tripdout
3 days ago
Decompiler Explorer
Decompiler Explorer is an interactive online decompiler which shows equivalent C-like output of decompiled programs from many popular decompilers....
karakoram
9 hours ago
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....
tupe12334
7 hours ago
Show HN: Moadim.io – A scheduler for agents
Moadim is an open-source loop engine for AI agents — runs Claude, Codex, Hermes, or Pi on a schedule, over MCP and REST....
alexchantavy
19 hours ago
SubImage (YC W25) Is Hiring a Founding Engineer in SF
SubImage maps infrastructure the way an attacker does so security teams at scale-ups and enterprises can find and fix problems. We’re built on Cartography, the open source tool our founders ...
rznicolet
5 days ago
The Wormhole Hall of Shame
Permit me to regale you with my very niche pet peeve: circular, two-dimensional wormhole entrances in science fiction.  (Fantasy gets a pass; unless you’re trying to do science-y magic, the ...