alt
Hacker News
Formalizing Fermat's Last Theorem
(www.anthropic.com)
336 points
•
by
jlebar
•
today at 6:42 PM
•
215 comments
Statichost.eu – 100% European static site hosting
(www.statichost.eu)
64 points
•
by
p4bl0
•
today at 8:34 PM
•
17 comments
Discovery of a new OpenAI agent message board
(collusion.wiki)
1353 points
•
by
moultano
•
today at 11:54 AM
•
1099 comments
Can AI design circuit boards yet?
(eebench.org)
78 points
•
by
iopapa
•
today at 7:48 PM
•
57 comments
Shutting down our public encrypted DNS
(mullvad.net)
171 points
•
by
mywacaday
•
today at 6:50 PM
•
59 comments
An open DNS recursive service for free security and high privacy
(quad9.net)
27 points
•
by
mooreds
•
today at 8:13 PM
•
7 comments
Show HN: Open-Source eInk Bike Computer
(opentrailpaper.com)
186 points
•
by
stingrae
•
today at 5:18 PM
•
60 comments
Government Rails Site Hit Hours After CVE Patch
(rietta.com)
51 points
•
by
rietta
•
today at 7:06 PM
•
13 comments
The Rust React Compiler is now native in Vite
(blog.master.dev)
81 points
•
by
acusti
•
today at 5:49 PM
•
15 comments
Fermat's Last Theorem in Lean 4
(github.com)
29 points
•
by
aaraujo002
•
today at 6:57 PM
•
6 comments
deSEC – Free Secure DNS
(desec.io)
90 points
•
by
gurjeet
•
today at 3:38 PM
•
34 comments
IBM Bob
(bob.ibm.com)
197 points
•
by
artpar
•
today at 12:50 PM
•
233 comments
How to Create a Tor Exit Node
(madpsy.uk)
17 points
•
by
Eridanus2
•
today at 8:16 PM
•
12 comments
Solving the Jane Street reverse engineering challenge
(jestoph.com)
363 points
•
by
anitil
•
today at 10:17 AM
•
82 comments
Fomu An FPGA board that fits inside your USB port
(www.crowdsupply.com)
11 points
•
by
Bluestein
•
last Wednesday at 9:48 AM
•
1 comment
The Wormhole Hall of Shame
(rznicolet.com)
13 points
•
by
rznicolet
•
last Monday at 6:10 PM
•
8 comments
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
(torrentfreak.com)
267 points
•
by
speckx
•
today at 4:46 PM
•
151 comments
Deadpan Photography: Enjoying the Pretence
(photoni.st)
17 points
•
by
NaOH
•
last Tuesday at 12:59 AM
•
7 comments
Project HydraFusion: Frontier quality via multi-model orchestration
(github.blog)
49 points
•
by
qainsights
•
today at 4:24 PM
•
28 comments
People that worked on the same idea for decades
(nityasnotes.com)
41 points
•
by
sebg
•
yesterday at 8:31 AM
•
20 comments
Show HN: TERMy – A fast terminal assistant that does not use LLMs
(github.com)
73 points
•
by
gioscarab
•
today at 9:03 AM
•
25 comments
"Next-token predictor" is the wrong mental model for LLMs
(gmcgoldr.github.io)
40 points
•
by
garrinm
•
today at 5:09 PM
•
90 comments
Corporate America is getting hooked on open-source AI
(www.nytimes.com)
235 points
•
by
aaraujo002
•
today at 3:33 PM
•
223 comments
Getting Started with AT Protocol
(bnb.im)
70 points
•
by
evakhoury
•
last Tuesday at 7:48 PM
•
24 comments
Elevator of the Year: Modernization of the Metropolis Trust Building
(www.starelevator.com)
135 points
•
by
palashawas
•
last Tuesday at 12:01 AM
•
49 comments
SubImage (YC W25) Is Hiring a Founding Engineer in SF
(www.ycombinator.com)
1 points
•
by
alexchantavy
•
today at 12:01 PM
•
0 comments
The Two Abstractions of System Design: Hide or Reduce
(muratbuffalo.blogspot.com)
94 points
•
by
ubolonton_
•
last Wednesday at 11:54 AM
•
10 comments
Ok, but does it scale?
(spacetimedb.com)
102 points
•
by
theanonymousone
•
today at 12:42 PM
•
63 comments
GPT-6 Astra
(openai.com)
2138 points
•
by
kibae
•
yesterday at 6:41 PM
•
1944 comments
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
(www.millersbookreview.com)
16 points
•
by
benbreen
•
yesterday at 7:10 PM
•
3 comments
Google AI Mode shows same products 21.6% more expensive than traditional search
(productrise.app)
354 points
•
by
DeepLogin
•
today at 11:59 AM
•
71 comments
Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region
(github.com)
55 points
•
by
hawshemi
•
today at 12:49 PM
•
63 comments
The Sealed Document TikTok Doesn't Want Two Senators to See
(www.bloomberg.com)
15 points
•
by
formerlurker
•
today at 8:20 PM
•
1 comment
.name Termination
(neil.fraser.name)
2135 points
•
by
pavel_lishin
•
yesterday at 2:54 PM
•
528 comments
Fermat's Last Theorem: Anthropic has beaten me to it
(xenaproject.wordpress.com)
24 points
•
by
ravenical
•
today at 9:00 PM
•
2 comments
How Fairphone built the Fairphone Gen 6+
(arstechnica.com)
183 points
•
by
CrypticShift
•
today at 12:43 PM
•
157 comments
A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf]
(www.cs.cmu.edu)
12 points
•
by
gregsadetsky
•
last Wednesday at 2:36 AM
•
1 comment
US Military disables ad trackers on troops' phones
(www.theguardian.com)
157 points
•
by
tencentshill
•
today at 1:44 PM
•
86 comments
Resources to Get Good at Soldering?
(self)
67 points
•
by
tosmatos
•
last Wednesday at 9:24 AM
•
47 comments
Leading Theory for How Life on Earth Began Is 'Highly Unlikely'
(www.sciencealert.com)
14 points
•
by
jandrewrogers
•
today at 2:52 PM
•
0 comments
Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace
(twitter.com)
61 points
•
by
theanonymousone
•
today at 5:12 PM
•
18 comments
Hayes AT command set
(en.wikipedia.org)
33 points
•
by
0xbadcafebee
•
today at 5:56 PM
•
9 comments
GPT-6 Astra Generally Available
(twitter.com)
18 points
•
by
samyok
•
today at 8:16 PM
•
6 comments
Top Pentagon Official Contracted Personal Lawyer to Handle Minerals Deal
(prospect.org)
137 points
•
by
h2si
•
today at 1:54 PM
•
71 comments
Qwen 3.8 27B available on Cerebras at 1500 tokens/s
(inference-docs.cerebras.ai)
675 points
•
by
altertable
•
yesterday at 6:32 PM
•
222 comments
Which tools do Claude, Codex and Cursor choose? We measured 17k runs to find out
(armature.tech)
286 points
•
by
screm
•
yesterday at 9:20 PM
•
143 comments
Ask HN: Who is using MCP in production?
(self)
157 points
•
by
sukit
•
yesterday at 11:21 AM
•
179 comments
Squeezing Performance Out of eBPF
(bitbison.io)
6 points
•
by
sbahra
•
today at 5:17 PM
•
0 comments
Project Xanadu: Even More Hindsight (2025)
(gwern.net)
119 points
•
by
andsoitis
•
today at 1:45 AM
•
39 comments
New type of dice guarantees no tie when deciding who goes first
(www.cbc.ca)
119 points
•
by
colinprince
•
last Wednesday at 1:50 AM
•
103 comments