Skip to headlines
?
×
Keyboard shortcuts
?
Show / hide shortcuts
J
/
K
Next / previous story
Tab
/
Shift Tab
Next / previous link or control
Enter
Open link or submit form
Space
Toggle focused details
Esc
Close this dialog
Enable J/K shortcuts
Shortcuts pause while typing. Tab navigation always works.
daily
diff
Headlines
Hacker News
Lobsters
Programming.dev
Archive
Search
Appearance
Dark
Light
System
Daily edition
Hot now
Daily headlines
Top 10
Top 20
Above median
Daily ranking · strictly above median
2026-10-30
6
29
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
HN
github.com
8 hours ago
show
52
35
I Returned My iPhone Duo
HN
codakuma.com
1 hour ago
2
19
North Korea Steals USD 6.36B from Binance in the Largest Hack in History
HN
trmlabs.com
3 hours ago
1
17
C2PA's eMudhra Moment
LB
da.vidbuchanan.co.uk
13 hours ago
cryptography
2
15
Trojanized Claude Code Extension Plants an SSH Backdoor
HN
opensourcemalware.com
5 hours ago
1
12
How curl was accidentally Turing-complete for nine months
LB
seriot.ch
3 hours ago
compsci
Also discussed:
Hacker News · 0 comments
1
13
Pidgin 3.0 Alpha 4 2.98.0 has been released
LB
discourse.imfreedom.org
6 hours ago
release
Also discussed:
Hacker News · 1 comments
5
12
Go programs enable MPTCP by default, exposing them to Linux CVE-2026-98432
HN
groups.google.com
9 hours ago
3
15
AGI Economics: Coordination vs. Competence
HN
institute.deepmind.com
7 hours ago
0
14
Google Custom Search API is shutting down: migration guide and alternatives
HN
blog.apify.com
2 hours ago