N
Hacker Next
new
past
show
ask
show
jobs
submit
login
61
▲
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean
(
github.com
)
7 points by
modinfo
9 hours ago
|
0 comments
62
▲
Europe's free satellite service just made it easier to track wildfires
(
arstechnica.com
)
150 points by
01-_-
17 hours ago
|
13 comments
63
▲
Ask HN: How do you go from writing code to deploying with agents?
6 points by
sakuraiben
3 hours ago
|
3 comments
64
▲
Monitors for Work
(
etbe.coker.com.au
)
78 points by
edward
3 days ago
|
56 comments
65
▲
From One Seed to a Thousand Leaves – Merkle's Authentication Tree
(
0xkrt26.github.io
)
47 points by
denismenace
5 days ago
|
3 comments
66
▲
Kitesurf: Agent-first browser that runs in V8 isolates
(
blog.cloudflare.com
)
212 points by
m3h
2 days ago
|
60 comments
67
▲
Responding to the next frontier of critical cyber capabilities
(
openai.com
)
196 points by
artninja1988
1 days ago
|
192 comments
68
▲
Flesh Eating Bacteria Kills 5 in Louisiana
(
nytimes.com
)
8 points by
jihadjihad
3 hours ago
|
1 comment
69
▲
New Mexico court orders Meta to pay $567m over harms to children’s mental health
(
theguardian.com
)
793 points by
boplicity
2 days ago
|
424 comments
70
▲
Python string literals are kinda funny
(
sebsite.pw
)
57 points by
jandeboevrie
3 days ago
|
51 comments
71
▲
The Nixpkgs core team has disbanded
(
discourse.nixos.org
)
385 points by
Meleagris
1 days ago
|
201 comments
72
▲
Assembly Hall of Shame
(
github.com
)
411 points by
piotrgrabowski
1 days ago
|
104 comments
73
▲
Oracle bans AI-generated code from OpenJDK
(
app.dealroom.co
)
520 points by
delduca
1 days ago
|
376 comments
74
▲
AMD acquires Taalas to boost inference performance by etching models in silicon
(
theregister.com
)
923 points by
itvision
2 days ago
|
693 comments
75
▲
2027 memory capacity is reportedly sold out
(
ign.com
)
492 points by
inigyou
2 days ago
|
474 comments
76
▲
Ask HN: Why is Open POWER Foundation a wasteland?
4 points by
climate_denier_
4 hours ago
|
1 comment
77
▲
Switzerland is a neutral nation but has more nuclear bunkers than any country
(
npr.org
)
10 points by
andsoitis
5 hours ago
|
2 comments
78
▲
Microsoft Edge is about to lock out older ad blockers, just like Chrome did
(
theverge.com
)
176 points by
eternalreturn
16 hours ago
|
171 comments
79
▲
Psychological Warfare in Reverse Engineering (2015)
(
github.com
)
85 points by
theanonymousone
1 days ago
|
4 comments
80
▲
AI Settles a 25 Year-Old Problem We Left Behind
(
twitter.com
)
11 points by
amichail
4 hours ago
|
0 comments
81
▲
Guarded Methods in OCaml (2025)
(
xvw.lol
)
82 points by
birdculture
5 days ago
|
7 comments
82
▲
Launch HN: ProvenMetal (YC S26) delivers circuit boards in days instead of weeks
(
provenmetal.com
)
230 points by
willcarkner
2 days ago
|
155 comments
83
▲
GPT-4 finished training four years ago today
(
twitter.com
)
6 points by
nekofneko
4 hours ago
|
1 comment
84
▲
Coldcard hardware wallet firmware flaw sees 2k BTC (~$130M) drained
(
web3isgoinggreat.com
)
15 points by
ilamont
5 hours ago
|
2 comments
85
▲
Mario Meets Pareto
(
mayerowitz.io
)
1167 points by
theanonymousone
3 days ago
|
165 comments
86
▲
Show HN: textlog – A quiet, text-only microblogging platform, open-source, no JS
(
textlog.cc
)
193 points by
stagas
2 days ago
|
74 comments
87
▲
Water system controllers don't belong on the internet, says ex-NSA chief
(
theregister.com
)
245 points by
Bender
1 days ago
|
158 comments
88
▲
Welcoming the Nepalese Government to Have I Been Pwned
(
troyhunt.com
)
219 points by
gnabgib
2 days ago
|
35 comments
89
▲
Möbius-Strip Crosswords
(
quuxplusone.github.io
)
75 points by
ibobev
1 days ago
|
10 comments
90
▲
Show HN: Wyzer Programming Language
(
github.com
)
214 points by
v0id_isgood
2 days ago
|
113 comments
Rendered at 02:37:26 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.