-
38
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
(github.com)
-
143
El Niño is flooding California's coasts with the highest tides to come
(gizmodo.com)
-
83
A Pickpocket's Guide to New York
(newyorker.com)
-
20
Wonderful Weather: Floods and Foreboding in 17th-Century Britain
(publicdomainreview.org)
-
53
Enlightenment 0.28 Released with Many Improvements
(phoronix.com)
-
9
Silicon Valley's in-flight magazine Colossus gives moguls coverage they crave
(sfstandard.com)
-
326
Anthropic may not secure investment-grade rating after IPO, Blackstone says
(ft.com)
-
31
How AI may drive union-resistant tech workers to the bargaining table
(theguardian.com)
-
8
Nonna – TypeScript Dependency injection without the reflection tax
(nonna.nodeboot.io)
-
65
Should a medical diagnosis reshape the past? (2025)
(chengela.substack.com)
-
7
Show HN: Multi-Layer ASCII Art
(typeart.mitpit.com)
-
17
Spooky C++
(nablag.com)
-
7
Oil majors resist pressure to invest in new refineries, fuel prices keep rising
(ft.com)
-
43
Solving Postgres' Count Problem
(paradedb.com)
-
307
Medicare Will Pay $50k for Your Heart Attack. It Should Pay $100 to Prevent It
(medpagetoday.com)
-
432
Google Search is now less than half of Alphabet’s revenue
(kadoa.com)
-
6
Tangled, hire a front-end accessibility expert
(dbushell.com)
-
28
Show HN: Fraktur, a DJ mixing app in the browser
(greenvitriol.com)
-
338
Gemini 4 Carbon is the new #1 on the Artificial Analysis Intelligence Index v5
(artificialanalysis.ai)
-
27
AGI Economics: Coordination vs. Competence
(institute.deepmind.com)
-
280
Hackers expose the identities of more than 40k DHS employees
(text.npr.org)
-
59
I'm a Proton employee and I'm breaking my silence
(reddit.com)
-
36
US Jobs Pickup May Keep Fed on Track to Hike Rates Again
(bloomberg.com)
-
29
Bastard
(bez-lightyear.bearblog.dev)
-
59
How long do you need to hold down the power button to turn off a PC?
(osnews.com)
-
70
Wall Street closes sharply lower as AI cash burn fears spark tech selloff
(reuters.com)
-
29
Tor Browser 16.0
(blog.torproject.org)
-
8
Medo: A modern UHD 4K open source Media editor for Haiku OS in less than 1.44MB
(github.com)
-
60
Show HN: A USB-C LTE modem that gives my computer a phone line
(github.com)
-
45
Show HN: Overtone – Transcribe, correct and cut captions for any screen shape
(github.com)