N
Hacker Next
new
past
show
ask
show
jobs
submit
login
181
▲
What mathematicians should know about the Lean Theorem Prover: reliability & AI
(
terrytao.wordpress.com
)
206 points by
matt_d
3 days ago
|
58 comments
182
▲
A 1980s filter chip that uses switched capacitors
(
righto.com
)
33 points by
pwg
2 days ago
|
10 comments
183
▲
AI coding agents generate more code, but not more software
(
arstechnica.com
)
10 points by
jonbaer
11 hours ago
|
1 comment
184
▲
Tensordyne is making AI compute more efficient using logarithms
(
zach.be
)
5 points by
mdp2021
24 hours ago
|
0 comments
185
▲
House with 15m underground tunnels for sale for 300k
(
readingchronicle.co.uk
)
238 points by
librasteve
5 days ago
|
217 comments
186
▲
PVX-001: open-source Covid-19 vaccine starts Phase 1 trial
(
chronicles.popvax.com
)
139 points by
jajoosam
2 days ago
|
32 comments
187
▲
A college tried to cancel its Flock Safety contract and it refused
(
theverge.com
)
17 points by
sbulaev
15 hours ago
|
1 comment
188
▲
Step 5 Preview, a 1M-context MoE from StepFun, shows up on OpenRouter
(
openrouter.ai
)
146 points by
AnneWodell
4 days ago
|
38 comments
189
▲
We solved SQLite's single-writer limitation
(
marcobambini.substack.com
)
30 points by
marcobambini
21 hours ago
|
0 comments
190
▲
A Terminal Protocol for Program Status (OSC 7501)
(
mitchellh.com
)
186 points by
mfiguiere
6 days ago
|
53 comments
191
▲
“Math 2.0” will need to value mathematical progress more holistically
(
mathstodon.xyz
)
611 points by
ent101
4 days ago
|
653 comments
192
▲
Theranos.world
(
theranos.world
)
568 points by
kbyatnal
4 days ago
|
205 comments
193
▲
We're unlocking the biggest mysteries of the clitoris
(
sciencefocus.com
)
69 points by
Vaslo
20 hours ago
|
22 comments
194
▲
'Wallace and Gromit,' 90% Alone
(
animationobsessive.substack.com
)
300 points by
vinhnx
3 days ago
|
48 comments
195
▲
A 5.3M-year-old deep-sea whale necropolis in the Diamantina Zone
(
nature.com
)
154 points by
bryanrasmussen
5 days ago
|
16 comments
196
▲
Xerox PARC chip shatters on command (2015)
(
techxplore.com
)
10 points by
gurjeet
10 hours ago
|
2 comments
197
▲
Tell HN: GitHub refuses to remove cracked copies of my software after a month
574 points by
IvanK_net
6 days ago
|
344 comments
198
▲
Anne Carson wins Nobel Prize in literature 2026
(
theguardian.com
)
189 points by
sonabinu
4 days ago
|
49 comments
199
▲
Telegram Desktop vulnerability allowed any user's file to be stolen
(
beaksec.github.io
)
462 points by
g-b-r
2 days ago
|
323 comments
200
▲
God of War on PSP, recompiled to WebAssembly and running in the browser
(
github.com
)
244 points by
sn001
5 days ago
|
113 comments
201
▲
AI-ready biological data: $1.8B global commitment
(
biohub.org
)
149 points by
ray__
4 days ago
|
20 comments
202
▲
Push ifs up and fors down: The idiom, its algebra, and its limits
(
debasishg.github.io
)
194 points by
speckx
5 days ago
|
91 comments
203
▲
There's No "Going Back": On the receding horizons of the AI transition
(
thelastwave.substack.com
)
13 points by
johanam
16 hours ago
|
0 comments
204
▲
I wish you the best in the Offline
(
daverupert.com
)
81 points by
birdculture
1 days ago
|
62 comments
205
▲
The art of defusing a second world war bomb
(
theguardian.com
)
153 points by
sandebert
5 days ago
|
117 comments
206
▲
Tell HN: I've been paying for a rural Tanzanian's education for 10 years
772 points by
lukehandcool
4 days ago
|
244 comments
207
▲
TeX Preview in VSCode with Overleaf Sync
(
marketplace.visualstudio.com
)
7 points by
Hyena0
14 hours ago
|
2 comments
208
▲
Anti-patterns in software blogging
(
refactoringenglish.com
)
339 points by
ilreb
5 days ago
|
149 comments
209
▲
ADHD as a circadian rhythm disorder: evidence and implications for chronotherapy (2025)
(
frontiersin.org
)
402 points by
bookofjoe
4 days ago
|
267 comments
210
▲
Computers Cannot Make Decisions
(
wiki.cateat.fish
)
209 points by
heavensteeth
2 days ago
|
186 comments
Rendered at 13:28:05 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.