N
Hacker Next
new
past
show
ask
show
jobs
submit
login
91
▲
Europe's free satellite service just made it easier to track wildfires
(
arstechnica.com
)
161 points by
01-_-
1 days ago
|
14 comments
92
▲
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean
(
github.com
)
12 points by
modinfo
19 hours ago
|
1 comment
93
▲
ACM Europe Summer School on MLIR 2026: Streamed Live, August 10-14
(
mlir-school.github.io
)
10 points by
matt_d
18 hours ago
|
0 comments
94
▲
Mario Meets Pareto
(
mayerowitz.io
)
1169 points by
theanonymousone
3 days ago
|
167 comments
95
▲
The Nixpkgs core team has disbanded
(
discourse.nixos.org
)
395 points by
Meleagris
1 days ago
|
208 comments
96
▲
Show HN: Tura – Build agent that uses 80% less token and delivers better results
(
github.com
)
7 points by
turaainet
13 hours ago
|
0 comments
97
▲
Guarded Methods in OCaml (2025)
(
xvw.lol
)
85 points by
birdculture
6 days ago
|
7 comments
98
▲
Amazon Is Creating the Biggest Pollution Source in the Country
(
newrepublic.com
)
235 points by
geox
20 hours ago
|
151 comments
99
▲
Time has started serving ads to AI agents
(
digiday.com
)
8 points by
theanonymousone
5 hours ago
|
1 comment
100
▲
Delta Passed on Starlink Wi-Fi. United and Virgin Atlantic Are Seeing the Payoff
(
inc.com
)
6 points by
mlindner
6 hours ago
|
0 comments
101
▲
Welcoming the Nepalese Government to Have I Been Pwned
(
troyhunt.com
)
220 points by
gnabgib
3 days ago
|
35 comments
102
▲
Ancient Library – 1,060 Greek/Latin texts, click any word to parse it
(
ancientlibrary.net
)
254 points by
aagha
2 days ago
|
79 comments
103
▲
Show HN: textlog – A quiet, text-only microblogging platform, open-source, no JS
(
textlog.cc
)
195 points by
stagas
2 days ago
|
74 comments
104
▲
"Coding is solved" misses the point
(
blog.mastykarz.nl
)
17 points by
listless
11 hours ago
|
6 comments
105
▲
Taste Is All That's Left
(
notashelf.dev
)
690 points by
tsak
3 days ago
|
534 comments
106
▲
A viral mosquito-killing laser device could be coming to the U.S.
(
npr.org
)
27 points by
toomuchtodo
12 hours ago
|
15 comments
107
▲
Auto mode is now the default in Claude Code for Pro, Max, and Team plans
(
simonwillison.net
)
17 points by
spenvo
12 hours ago
|
5 comments
108
▲
Flesh-eating screwworms feast on humans in Mexico; human cases top 500
(
arstechnica.com
)
22 points by
Eloissssss
12 hours ago
|
4 comments
109
▲
Psychological Warfare in Reverse Engineering (2015)
(
github.com
)
86 points by
theanonymousone
2 days ago
|
4 comments
110
▲
Water system controllers don't belong on the internet, says ex-NSA chief
(
theregister.com
)
250 points by
Bender
2 days ago
|
160 comments
111
▲
Show HN: Wyzer Programming Language
(
github.com
)
216 points by
v0id_isgood
2 days ago
|
114 comments
112
▲
Managing AI Coding Costs at Scale
(
databricks.com
)
305 points by
moonikakiss
2 days ago
|
262 comments
113
▲
Möbius-Strip Crosswords
(
quuxplusone.github.io
)
77 points by
ibobev
2 days ago
|
11 comments
114
▲
Why Estonians invite strangers into their back gardens each summer
(
bbc.com
)
156 points by
koolhead17
5 days ago
|
56 comments
115
▲
Qwen 3.8 and Claude Opus 5 show why raw benchmark scores don't predict the bill
(
venturebeat.com
)
4 points by
ashurandi
5 hours ago
|
1 comment
116
▲
Atomic Clocks
(
nist.gov
)
140 points by
teleforce
9 days ago
|
84 comments
117
▲
Maryland Closes More of Cunningham Falls State Park After Second Beaver Attack
(
news.maryland.gov
)
107 points by
bookofjoe
16 hours ago
|
65 comments
118
▲
Why Are There Statues of Beavers on Top of This Oxford Street Shop?
(
londonist.com
)
66 points by
bookofjoe
6 days ago
|
42 comments
119
▲
The first self-driving vehicle on Mars has proven to be a smashing success
(
arstechnica.com
)
8 points by
jnord
6 hours ago
|
1 comment
120
▲
Muse Code Sends Codex and Claude Instructions to Meta by Default
(
runtimewire.com
)
7 points by
ryanmerket
8 hours ago
|
2 comments
Rendered at 13:07:32 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.