N
Hacker Next
new
past
show
ask
show
jobs
submit
login
361
▲
Lean now ships with verified kernels
(
leodemoura.github.io
)
204 points by
matt_d
5 days ago
|
80 comments
362
▲
RFC8950: Announce IPv4 with an IPv6 next-hop
(
anuragbhatia.com
)
118 points by
porridgeraisin
5 days ago
|
83 comments
363
▲
Private Key Compromise of EMudhra Intermediate Certificates
(
bugzilla.mozilla.org
)
11 points by
donohoe
20 hours ago
|
1 comment
364
▲
E Ink Kaleido 4
(
eink.com
)
188 points by
Perroboc
6 days ago
|
123 comments
365
▲
The future of programming (1982)
(
dl.acm.org
)
82 points by
vismit2000
4 days ago
|
18 comments
366
▲
Fraud, Waste, and Abuse Hits Working People the Hardest
(
garryslist.org
)
8 points by
shinryudbz
17 hours ago
|
0 comments
367
▲
Show HN: Flipflop – Iroh-powered persistent tunnels for filesharing
(
github.com
)
148 points by
andunie
7 days ago
|
73 comments
368
▲
Show HN: Yana – A local-first, human-governed AI runtime and IDE in Rust
(
github.com
)
8 points by
vutam
2 days ago
|
0 comments
369
▲
'Reverse-Engineer Anything' Is the New Wild West of AI
(
404media.co
)
23 points by
toomuchtodo
1 days ago
|
8 comments
370
▲
Waymo in Toronto
(
waymo.com
)
330 points by
ChrisArchitect
5 days ago
|
449 comments
371
▲
The Electronic Disturbance Theater and Electronic Civil Disobedience (1998)
(
thing.net
)
38 points by
jruohonen
3 days ago
|
10 comments
372
▲
OpenCode 2.0
(
anoma.ly
)
887 points by
gmays
7 days ago
|
395 comments
373
▲
Wayland desktop for Linux with skeuomorphic design
(
github.com
)
701 points by
FinalDestiny
6 days ago
|
281 comments
374
▲
MapQuest will now show you where Flock cameras are in your neighborhood
(
engadget.com
)
338 points by
bookofjoe
4 days ago
|
50 comments
375
▲
What was a Token Ring network?
(
dfarq.homeip.net
)
129 points by
ibobev
5 days ago
|
99 comments
376
▲
Will it be a golden age or a dark age for mathematics (and science)?
(
terrytao.wordpress.com
)
149 points by
smilelamp
3 days ago
|
171 comments
377
▲
How Postgres DELETE can actually scale
(
dbos.dev
)
30 points by
KraftyOne
6 days ago
|
34 comments
378
▲
Any window from your Mac, on your iPhone and iPad
(
github.com
)
271 points by
chanana
6 days ago
|
76 comments
379
▲
Florida's HOAs and condo associations are making the housing crisis worse
(
hoaspy.com
)
202 points by
lovewins
3 days ago
|
404 comments
380
▲
Intuitive concurrent programming in any language
(
lf-lang.org
)
134 points by
mpweiher
6 days ago
|
42 comments
381
▲
What Is the Karakoram Anomaly?
(
nsidc.org
)
7 points by
thunderbong
2 days ago
|
0 comments
382
▲
What on Earth Is Dekton?
(
worksinprogress.news
)
165 points by
wawayanda
5 days ago
|
59 comments
383
▲
Some Final Words on Foursquare
(
teendrama.substack.com
)
37 points by
hornokplease
1 days ago
|
4 comments
384
▲
Footage of the Flock search that a judge ruled was uncosntitutional
(
404media.co
)
136 points by
anigbrowl
3 days ago
|
77 comments
385
▲
Show HN: Snitch – my Mac talked to 347 servers in one idle hour, so I built this
(
github.com
)
12 points by
aiXis
1 days ago
|
3 comments
386
▲
Apple ML Research: Muse Spark Open with MLX on Mac Studio
(
machinelearning.apple.com
)
365 points by
antipaul
5 days ago
|
209 comments
387
▲
AI models self-replicating in smart ovens? "These f[..]g clowns"
(
thestack.technology
)
13 points by
jc_811
1 days ago
|
2 comments
388
▲
Sanity's Edge – A voice BBS from 1994
(
sanitys-edge.shouden.us
)
23 points by
indigodaddy
3 days ago
|
1 comment
389
▲
Laser Fault Injection on a Budget: RP2350 Edition (2025)
(
courk.cc
)
66 points by
gregsadetsky
6 days ago
|
18 comments
390
▲
Video Game Reverse Engineering Community Shuts Down
(
404media.co
)
5 points by
colinprince
15 hours ago
|
0 comments
Rendered at 17:29:19 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.