N
Hacker Next
new
past
show
ask
show
jobs
submit
login
301
▲
Fermat's Last Theorem in Lean 4
(
github.com
)
146 points by
aaraujo002
4 days ago
|
33 comments
302
▲
How I make games in Batch Script: Multithreading
(
github.com
)
8 points by
lowsun
2 days ago
|
1 comment
303
▲
Show HN: Reactor Atlas
(
reactoratlas.com
)
78 points by
fedecaccia
5 days ago
|
26 comments
304
▲
Thames Tunnel
(
en.wikipedia.org
)
4 points by
thunderbong
13 hours ago
|
0 comments
305
▲
The Education of a Doomer
(
borretti.me
)
60 points by
f311a
19 hours ago
|
57 comments
306
▲
Obscura: Native rendering is here. No Chromium required
(
github.com
)
25 points by
partsch
3 days ago
|
1 comment
307
▲
Google Antigravity TOS: 3rd party usage can get Google account suspended
(
twitter.com
)
336 points by
tosh
5 days ago
|
220 comments
308
▲
GPS glitched across the US by as much as 33 feet
(
sciencealert.com
)
221 points by
thread_id
6 days ago
|
142 comments
309
▲
MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server
(
github.com
)
36 points by
staatsgeheim
2 days ago
|
5 comments
310
▲
Recreating Minecraft Is Not a Benchmark
(
kuber.studio
)
73 points by
kuberwastaken
2 days ago
|
71 comments
311
▲
Signing TLS handshakes inside a TPM
(
bschaatsbergen.com
)
36 points by
bschaatsbergen
2 days ago
|
46 comments
312
▲
CRISPR editing of ANGPTL3: one-time precision therapy for dyslipidaemia
(
nature.com
)
3 points by
emerongi
1 days ago
|
0 comments
313
▲
Canada holds first defense talks with China in more than 8 years
(
scmp.com
)
15 points by
ilamont
13 hours ago
|
7 comments
314
▲
The Turpentine Effect (2010)
(
ribbonfarm.com
)
7 points by
Curiositry
2 days ago
|
0 comments
315
▲
Wikimedia Foundation Workers Overwhelmingly Vote to Form Union with CWA
(
wikiworkersunited.org
)
299 points by
robin_reala
3 days ago
|
174 comments
316
▲
Humpback whales are interrupting orca hunts to rescue different species
(
spacedaily.com
)
9 points by
cobbzilla
23 hours ago
|
0 comments
317
▲
Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region
(
github.com
)
69 points by
hawshemi
4 days ago
|
67 comments
318
▲
Write Software in Latin (2025) [video]
(
youtube.com
)
49 points by
akkartik
6 days ago
|
26 comments
319
▲
The Pelican comparison grid for Astra is pretty interesting
(
simonwillison.net
)
25 points by
csmantle
3 days ago
|
7 comments
320
▲
Tesla killing Solar Roof is leaving installers with six-figure losses
(
electrek.co
)
134 points by
voxadam
21 hours ago
|
123 comments
321
▲
Surplus Agriculture Equipment
(
svdisposition.com
)
5 points by
Bluestein
2 days ago
|
0 comments
322
▲
Hot Chips 2026: Irrational Recap
(
irrationalanalysis.substack.com
)
13 points by
zdw
2 days ago
|
0 comments
323
▲
TIL POSIX specifies a tool designed to assist you with generated code
(
reddit.com
)
4 points by
g-b-r
15 hours ago
|
0 comments
324
▲
Making software hurts now
(
notes.erlend.sh
)
15 points by
erlend_sh
24 hours ago
|
3 comments
325
▲
GLP-1s are being linked to fewer serious infections, including TB
(
gizmodo.com
)
145 points by
gumby
5 days ago
|
84 comments
326
▲
A Week of Bug Reporting
(
tratt.net
)
8 points by
luu
4 days ago
|
3 comments
327
▲
Connecting every app to every other app
(
blog.val.town
)
52 points by
Chidiebere229
4 days ago
|
2 comments
328
▲
Claude Code skills for advanced context engineering techniques and patterns
(
github.com
)
43 points by
leovs09
4 days ago
|
4 comments
329
▲
Reasons robotics is hard
(
secondthoughts.ai
)
128 points by
ddp26
6 days ago
|
77 comments
330
▲
Record-High 89% in U.S. Say Government Corruption Widespread
(
news.gallup.com
)
585 points by
karakoram
4 days ago
|
550 comments
Rendered at 15:49:38 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.