N
Hacker Next
new
past
show
ask
show
jobs
submit
login
241
▲
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
(
johndcook.com
)
178 points by
ibobev
2 days ago
|
179 comments
242
▲
Experiment – Projectional Viewer
(
programmingsimplicity.substack.com
)
17 points by
surprisetalk
5 days ago
|
4 comments
243
▲
Tech's New Rich Are Suffering from 'Sudden Wealth Syndrome'
(
bloomberg.com
)
13 points by
wslh
11 hours ago
|
5 comments
244
▲
How I advertise malicious software on Google Ads
(
xlii.space
)
434 points by
xlii
4 days ago
|
260 comments
245
▲
FreeBSD 14.5-Release
(
freebsd.org
)
145 points by
joshcsimmons
5 days ago
|
32 comments
246
▲
Bitap: My favorite string matching algorithm
(
jo3-l.dev
)
29 points by
haeseong
5 days ago
|
14 comments
247
▲
Show HN: A browser IDE for m68000, Z80 assembly (and more), with graphics
(
asm-editor.specy.app
)
31 points by
specy
5 days ago
|
3 comments
248
▲
Mistral raises €3B
(
mistral.ai
)
848 points by
kuberwastaken
5 days ago
|
602 comments
249
▲
Ask HN: Did Google kill its enterprise workhorse model?
22 points by
waldrews
23 hours ago
|
14 comments
250
▲
Thelio Mira AI Linux Workstation: 192 GB GPU Memory
(
system76.com
)
121 points by
jonifico
2 days ago
|
127 comments
251
▲
Casablanca: How an unproduced play marched into movie history
(
thecollector.com
)
53 points by
mdp2021
2 days ago
|
19 comments
252
▲
OpenAI: "We use ... de-identified data to improve ChatGPT"
(
twitter.com
)
23 points by
nycdatasci
23 hours ago
|
12 comments
253
▲
Show HN: Copperhead – Cursor for circuit boards
(
copperhead.sh
)
249 points by
animeshchouhan
4 days ago
|
115 comments
254
▲
Tor VPN Beta: What we've learned building our own VPN for Android from scratch
(
blog.torproject.org
)
68 points by
woofcat
3 days ago
|
5 comments
255
▲
Embedding a bitmap font in your HyperCard stack
(
leadedsolder.com
)
30 points by
zdw
4 days ago
|
3 comments
256
▲
Exercise intensity is associated with cardiometabolic health
(
cell.com
)
138 points by
qclibre22
2 days ago
|
73 comments
257
▲
Show HN: Filament – Fast data movement engine in Go
(
github.com
)
31 points by
ikswolzok
4 days ago
|
6 comments
258
▲
Herdr Studio
(
powerfooi.github.io
)
45 points by
throwaway888abc
2 days ago
|
20 comments
259
▲
Show HN: Next Notes – local dictation, meeting notes, and actions app
(
github.com
)
3 points by
Sergekad0
23 hours ago
|
0 comments
260
▲
Antiquated HTML Snippets and Artefacts
(
vale.rocks
)
245 points by
patadune
5 days ago
|
88 comments
261
▲
Shrink your Go binaries with this one weird trick
(
words.filippo.io
)
6 points by
thunderbong
12 hours ago
|
1 comment
262
▲
There's a new "Google Jail" for independent wikis
(
weirdgloop.org
)
573 points by
pizzaiolo
5 days ago
|
237 comments
263
▲
How well do agents use test/verification techniques?
(
danluu.com
)
191 points by
vinhnx
5 days ago
|
72 comments
264
▲
On Next-Gen Transformer: Loops Are Not What You Need
(
zartbot.github.io
)
26 points by
matt_d
2 days ago
|
1 comment
265
▲
Qwen 3.8 follows GPT-5.5 Pro reasoning prefills
(
gist.github.com
)
234 points by
wsxiaoys
3 days ago
|
93 comments
266
▲
Liesegang Rings
(
chillphysicsenjoyer.substack.com
)
31 points by
surprisetalk
3 days ago
|
4 comments
267
▲
At This French Marathon, Runners Make Pit Stops for Wine and Oysters
(
nytimes.com
)
5 points by
ceejayoz
12 hours ago
|
0 comments
268
▲
The 92-Year-Old Mathematician and the Teenage Apprentice
(
nytimes.com
)
188 points by
robinhouston
6 days ago
|
17 comments
269
▲
Naomi Klein: Extreme wealth has a deranging effect. Turns you into a supremacist
(
theguardian.com
)
57 points by
beardyw
14 hours ago
|
13 comments
270
▲
Ancient cave art suggests first known humans in Ireland walked over from Wales
(
bbc.com
)
61 points by
bookofjoe
5 days ago
|
12 comments
Rendered at 01:13:16 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.