HNHN on the Go

Formalizing Fermat's Last Theorem

(www.anthropic.com)jlebar
335
3h214

Statichost.eu – 100% European static site hosting

(www.statichost.eu)p4bl0
64
1h17

Discovery of a new OpenAI agent message board

(collusion.wiki)moultano
1353
10h1099

Can AI design circuit boards yet?

(eebench.org)iopapa
77
2h57

Shutting down our public encrypted DNS

(mullvad.net)mywacaday
170
3h59

An open DNS recursive service for free security and high privacy

(quad9.net)mooreds
26
2h7

Show HN: Open-Source eInk Bike Computer

(opentrailpaper.com)stingrae
185
5h60

Government Rails Site Hit Hours After CVE Patch

(rietta.com)rietta
49
3h13

The Rust React Compiler is now native in Vite

(blog.master.dev)acusti
81
4h15

Fermat's Last Theorem in Lean 4

(github.com)aaraujo002
28
3h6

deSEC – Free Secure DNS

(desec.io)gurjeet
90
6h34

IBM Bob

(bob.ibm.com)artpar
197
9h233

How to Create a Tor Exit Node

(madpsy.uk)Eridanus2
17
2h11

Solving the Jane Street reverse engineering challenge

(jestoph.com)anitil
363
12h82

Fomu An FPGA board that fits inside your USB port

(www.crowdsupply.com)Bluestein
11
3d1

The Wormhole Hall of Shame

(rznicolet.com)rznicolet
13
4d8

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive

(torrentfreak.com)speckx
267
5h150

Project HydraFusion: Frontier quality via multi-model orchestration

(github.blog)qainsights
49
6h28

Deadpan Photography: Enjoying the Pretence

(photoni.st)NaOH
17
4d7

People that worked on the same idea for decades

(nityasnotes.com)sebg
41
2d20

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

(github.com)gioscarab
72
13h25

"Next-token predictor" is the wrong mental model for LLMs

(gmcgoldr.github.io)garrinm
39
5h89

Corporate America is getting hooked on open-source AI

(www.nytimes.com)aaraujo002
234
6h223

Getting Started with AT Protocol

(bnb.im)evakhoury
70
3d24

Elevator of the Year: Modernization of the Metropolis Trust Building

(www.starelevator.com)palashawas
135
4d49

SubImage (YC W25) Is Hiring a Founding Engineer in SF

(www.ycombinator.com)alexchantavy
1
10h0

The Two Abstractions of System Design: Hide or Reduce

(muratbuffalo.blogspot.com)ubolonton_
94
2d10

Ok, but does it scale?

(spacetimedb.com)theanonymousone
102
9h63

GPT-6 Astra

(openai.com)kibae
2138
1d1944

Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'

(www.millersbookreview.com)benbreen
16
1d3

The largest electric aircraft just flew [video]

(www.youtube.com)feb
462
3d348

Google AI Mode shows same products 21.6% more expensive than traditional search

(productrise.app)DeepLogin
354
10h71

Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region

(github.com)hawshemi
55
9h63

The Sealed Document TikTok Doesn't Want Two Senators to See

(www.bloomberg.com)formerlurker
15
2h1

.name Termination

(neil.fraser.name)pavel_lishin
2135
1d528

Fermat's Last Theorem: Anthropic has beaten me to it

(xenaproject.wordpress.com)ravenical
24
~58m2

How Fairphone built the Fairphone Gen 6+

(arstechnica.com)CrypticShift
183
9h155

A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf]

(www.cs.cmu.edu)gregsadetsky
12
3d1

Porting my 1993 Amiga game to Godot, with an LLM reading the 68000 assembly

(babyloniantwins.com)rabahs
364
1d125

US Military disables ad trackers on troops' phones

(www.theguardian.com)tencentshill
157
8h86

Resources to Get Good at Soldering?

(HN)tosmatos
67
3d47

Leading Theory for How Life on Earth Began Is 'Highly Unlikely'

(www.sciencealert.com)jandrewrogers
14
7h0

Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace

(twitter.com)theanonymousone
61
5h18

Hayes AT command set

(en.wikipedia.org)0xbadcafebee
33
4h9

K2 Horizon: A connected fleet of six open models

(ifm.ai)karimf
331
1d124

GPT-6 Astra Generally Available

(twitter.com)samyok
18
2h6

Top Pentagon Official Contracted Personal Lawyer to Handle Minerals Deal

(prospect.org)h2si
137
8h71

GPS glitched across the US by as much as 33 feet

(www.sciencealert.com)thread_id
212
2d137

Qwen 3.8 27B available on Cerebras at 1500 tokens/s

(inference-docs.cerebras.ai)altertable
675
1d222

Which tools do Claude, Codex and Cursor choose? We measured 17k runs to find out

(armature.tech)screm
286
1d143

Ask HN: Who is using MCP in production?

(HN)sukit
157
1d179

Squeezing Performance Out of eBPF

(bitbison.io)sbahra
6
5h0

Project Xanadu: Even More Hindsight (2025)

(gwern.net)andsoitis
119
20h39

New type of dice guarantees no tie when deciding who goes first

(www.cbc.ca)colinprince
119
3d103

Xanadu was waiting for agents

(zed.dev)nsm
144
3d60

Unusual Suspects

(neal.fun)beeperboy95
197
2d30

Show HN: Reactor Atlas

(reactoratlas.com)fedecaccia
63
1d24

The asteroid currently hitting front end web development

(nolanlawson.com)codechicago277
205
1d262

Splash-free urinals: Design through physics and differential equations

(academic.oup.com)thunderbong
13
4h2

The auto lobby spent millions on media manipulation

(impuls.news)robtherobber
20
12h5