Hacker News on the Go

Formalizing Fermat's Last Theorem

(www.anthropic.com)jlebar

335

Statichost.eu – 100% European static site hosting

(www.statichost.eu)p4bl0

64

Discovery of a new OpenAI agent message board

(collusion.wiki)moultano

1353

Can AI design circuit boards yet?

(eebench.org)iopapa

77

Shutting down our public encrypted DNS

(mullvad.net)mywacaday

170

An open DNS recursive service for free security and high privacy

(quad9.net)mooreds

26

Show HN: Open-Source eInk Bike Computer

(opentrailpaper.com)stingrae

185

Government Rails Site Hit Hours After CVE Patch

(rietta.com)rietta

49

The Rust React Compiler is now native in Vite

(blog.master.dev)acusti

81

Fermat's Last Theorem in Lean 4

(github.com)aaraujo002

28

deSEC – Free Secure DNS

(desec.io)gurjeet

90

IBM Bob

(bob.ibm.com)artpar

197

How to Create a Tor Exit Node

(madpsy.uk)Eridanus2

17

Solving the Jane Street reverse engineering challenge

(jestoph.com)anitil

363

Fomu An FPGA board that fits inside your USB port

(www.crowdsupply.com)Bluestein

11

The Wormhole Hall of Shame

(rznicolet.com)rznicolet

13

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

(torrentfreak.com)speckx

267

Project HydraFusion: Frontier quality via multi-model orchestration

(github.blog)qainsights

49

Deadpan Photography: Enjoying the Pretence

(photoni.st)NaOH

17

People that worked on the same idea for decades

(nityasnotes.com)sebg

41

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

(github.com)gioscarab

72

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

(gmcgoldr.github.io)garrinm

39

Corporate America is getting hooked on open-source AI

(www.nytimes.com)aaraujo002

234

Getting Started with AT Protocol

(bnb.im)evakhoury

70

Elevator of the Year: Modernization of the Metropolis Trust Building

(www.starelevator.com)palashawas

135

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

(www.ycombinator.com)alexchantavy

1

The Two Abstractions of System Design: Hide or Reduce

(muratbuffalo.blogspot.com)ubolonton_

94

Ok, but does it scale?

(spacetimedb.com)theanonymousone

102

GPT-6 Astra

(openai.com)kibae

2138

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

(www.millersbookreview.com)benbreen

16

The largest electric aircraft just flew [video]

(www.youtube.com)feb

462

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

(productrise.app)DeepLogin

354

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

(github.com)hawshemi

55

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

(www.bloomberg.com)formerlurker

15

.name Termination

(neil.fraser.name)pavel_lishin

2135

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

(xenaproject.wordpress.com)ravenical

24

How Fairphone built the Fairphone Gen 6+

(arstechnica.com)CrypticShift

183

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

(www.cs.cmu.edu)gregsadetsky

12

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

(babyloniantwins.com)rabahs

364

US Military disables ad trackers on troops' phones

(www.theguardian.com)tencentshill

157

Resources to Get Good at Soldering?

67

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

(www.sciencealert.com)jandrewrogers

14

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

(twitter.com)theanonymousone

61

Hayes AT command set

(en.wikipedia.org)0xbadcafebee

33

K2 Horizon: A connected fleet of six open models

331

GPT-6 Astra Generally Available

(twitter.com)samyok

18

Top Pentagon Official Contracted Personal Lawyer to Handle Minerals Deal

(prospect.org)h2si

137

GPS glitched across the US by as much as 33 feet

(www.sciencealert.com)thread_id

212

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

(inference-docs.cerebras.ai)altertable

675

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

(armature.tech)screm

286

Ask HN: Who is using MCP in production?

157

Squeezing Performance Out of eBPF

(bitbison.io)sbahra

6

Project Xanadu: Even More Hindsight (2025)

(gwern.net)andsoitis

119

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

(www.cbc.ca)colinprince

119

Xanadu was waiting for agents

144

Unusual Suspects

(neal.fun)beeperboy95

197

Show HN: Reactor Atlas

(reactoratlas.com)fedecaccia

63

The asteroid currently hitting front end web development

(nolanlawson.com)codechicago277

205

Splash-free urinals: Design through physics and differential equations

(academic.oup.com)thunderbong

13

The auto lobby spent millions on media manipulation

(impuls.news)robtherobber

20