Hacker News

151.▲
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge(github.com)
26 points by lastmjs 7 hours ago | 5 comments
152.▲
A new way of life: Minsnap-Save reels to notes(play.google.com)
2 points by thepolyformstud 7 hours ago | discuss
153.▲
Show HN: Tiberava – My Game is growing(tiberava.online)
9 points by tarsomykonos 7 hours ago | 2 comments
154.▲
Show HN: MadTracker – Scoring software for track cycling races
1 points by c0nsumer 7 hours ago | discuss
155.▲
Pico CSS is no longer maintained(github.com)
115 points by henrid 7 hours ago | 44 comments
156.▲
Google eng is sure AI will destroy humanity he's stopped saving for retirement(finance.yahoo.com)
3 points by cramer4next 7 hours ago | 2 comments
157.▲
Herdr releasing herdr-core and desktop app(herdr.dev)
1 points by y1zhou 7 hours ago | 2 comments
158.▲
Binance's possible hack triggers $3B freeze in crypto assets(reuters.com)
4 points by onemoresoop 7 hours ago | 2 comments
159.▲
How Open Source Communities Help Respond Quickly to Security Risks(openteams.com)
1 points by travisoliphant 7 hours ago | discuss
160.▲
Show HN: NovelHiveAI – A tool to turn novels into a multi-Voice audiobook(novelhive.ai)
1 points by cuichen 7 hours ago | discuss
161.▲
New federal rule will require prescription drug middlemen to share payment data(statnews.com)
5 points by brandonb 7 hours ago | 3 comments
162.▲
"Decentralization" doesn't look decentralized
2 points by DeveloperOne 7 hours ago | 1 comments
163.▲
Power to the Laypeople(optimallyirrational.com)
4 points by paulpauper 7 hours ago | discuss
164.▲
Tinygyn · Goiânia Isométrica(tinygyn.com)
3 points by obilgic 7 hours ago | discuss
165.▲
Six popular sugar substitutes linked to faster brain aging(sciencedaily.com)
8 points by ValentineC 7 hours ago | 6 comments
166.▲
Plane Is Somewhere Else(wheelsup.io)
4 points by Southflow 7 hours ago | discuss
167.▲
Y-STR Profile Links Ted Bundy to 1974 Murder of Utah Teen(forensicmag.com)
1 points by WaitWaitWha 7 hours ago | discuss
168.▲
95%-ile isn't that good(danluu.com)
4 points by blobcode 7 hours ago | discuss
169.▲
Show HN: Arken – Passwordless auth middleware using secp256k1 keys(github.com)
8 points by zachbenson817 7 hours ago | discuss
170.▲
A Good Day for Cryptography(letsencrypt.org)
4 points by gpi 7 hours ago | 1 comments
171.▲
Tracks along the longest drive on another world(science.nasa.gov)
14 points by shcallaway 7 hours ago | discuss
172.▲
Binance Hacker Hunts for Exit Ramps as DeFi Exchanges Pause Markets(decrypt.co)
2 points by paulpauper 7 hours ago | discuss
173.▲
The AI Data Center Explained – From Electricity to ChatGPT [video](youtube.com)
1 points by yomismoaqui 7 hours ago | discuss
174.▲
34% of U.S. women under age 50 have iron deficiency under new guidelines(empirical.health)
7 points by brandonb 7 hours ago | 1 comments
175.▲
1 in 10 members of Congress traded stocks in companies their committees oversee(kadoa.com)
3 points by diomedes 7 hours ago | discuss
176.▲
Sterling Anderson doesn't think humanoid robots should be building cars(theverge.com)
1 points by cisc 8 hours ago | discuss
177.▲
NotebookLM has just unlocked over 700 textbooks from the leading publishers(blog.google)
2 points by dvaplima 8 hours ago | discuss
178.▲
The User Is Always the Boss – An Opinion on Linux and Anticheat(bonkmay.kr)
3 points by madarao 8 hours ago | 2 comments
179.▲
Who Writes the Rules, Who Carries the Blame?(aegissolisarchive.org)
2 points by aegissolis 8 hours ago | discuss
180.▲
Go programs enable MPTCP by default, exposing them to Linux CVE-2026-98432(groups.google.com)
11 points by acossta 8 hours ago | 4 comments