N
Hacker Next
new
past
show
ask
show
jobs
submit
login
391
▲
Lever House
(
en.wikipedia.org
)
4 points by
brudgers
2 days ago
|
0 comments
392
▲
Deterministic Simulation Testing in Celld
(
celld.dev
)
37 points by
handfuloflight
5 days ago
|
5 comments
393
▲
What mathematicians should know about the Lean Theorem Prover: reliability & AI
(
terrytao.wordpress.com
)
208 points by
matt_d
5 days ago
|
58 comments
394
▲
Shipping JPEG XL in Chrome
(
developer.chrome.com
)
575 points by
AshleysBrain
7 days ago
|
408 comments
395
▲
ADHD as a circadian rhythm disorder: evidence and implications for chronotherapy (2025)
(
frontiersin.org
)
407 points by
bookofjoe
6 days ago
|
270 comments
396
▲
Knuth reward check
(
thomas-huehn.com
)
224 points by
Curiositry
4 days ago
|
86 comments
397
▲
Retrofitting language models to operate over bytes
(
nature.com
)
110 points by
theanonymousone
7 days ago
|
24 comments
398
▲
A 23yr old intern translation trick led to ChatGPT
(
quantamagazine.org
)
6 points by
mrkn1
2 days ago
|
0 comments
399
▲
Zod 4.6.6 compromised by malware?
(
github.com
)
183 points by
luggage_bazooka
2 days ago
|
52 comments
400
▲
PSPi 6 – Raspberry Pi in a PSP
(
github.com
)
133 points by
therepanic
4 days ago
|
14 comments
401
▲
Apple Explains Why Chrome Users Should 'Switch to Safari'
(
macrumors.com
)
5 points by
greenchair
18 hours ago
|
1 comment
402
▲
Migrating to OpenCode 2.0
(
opencode.ai
)
6 points by
ilreb
2 days ago
|
2 comments
403
▲
OpenAI withdraws three mathematical results
(
twitter.com
)
381 points by
sashank_1509
6 days ago
|
612 comments
404
▲
Postgres isn't slow, your storage is
(
clickhouse.com
)
178 points by
saisrirampur
2 days ago
|
187 comments
405
▲
'Wallace and Gromit,' 90% Alone
(
animationobsessive.substack.com
)
304 points by
vinhnx
5 days ago
|
48 comments
406
▲
OpenAI employee arrested for allegedly planting a bug in a conference room
(
theverge.com
)
5 points by
sbulaev
15 hours ago
|
1 comment
407
▲
Show HN: Diffle, a keyboard-centric diff viewer with LSP support
(
github.com
)
74 points by
mwil1000
6 days ago
|
12 comments
408
▲
AI Company Lets Cops Pinpoint Specific Houses Based on a Single Interior Photo
(
404media.co
)
24 points by
bookofjoe
2 days ago
|
3 comments
409
▲
The CEO's of Broadcom and Intel Say the Quiet Part Out Loud about AI and ROI
(
wolfstreet.com
)
35 points by
metadat
2 days ago
|
8 comments
410
▲
Choreographic Programming in Rust
(
github.com
)
52 points by
o8vm
3 days ago
|
44 comments
411
▲
Ask HN: What do you run on a $5 VPS that's worth keeping online 24/7?
425 points by
mariocesar
8 days ago
|
670 comments
412
▲
Can you use autoregressive diffusion to generate market data?
(
blog.janestreet.com
)
186 points by
jsomers
5 days ago
|
57 comments
413
▲
C for Rust programmers
(
bd103.dev
)
173 points by
xyproto
6 days ago
|
216 comments
414
▲
Anthropic conjures threat that doesn't exist yet to stoke fears of AI apocalypse
(
theregister.com
)
67 points by
beardyw
9 hours ago
|
76 comments
415
▲
Show HN: BraiNOTES, handwritten notes on your lecture PDFs in a browser tab
(
github.com
)
35 points by
swimmingbrain
3 days ago
|
3 comments
416
▲
Bot traffic from Yandex
(
radar.cloudflare.com
)
655 points by
walrus01
3 days ago
|
258 comments
417
▲
Why DuckDB 2.0 is faster
(
motherduck.com
)
218 points by
tosh
4 days ago
|
71 comments
418
▲
Nvidia in talks to acquire US 'open' model startup Reflection AI
(
ft.com
)
179 points by
arkj
4 days ago
|
116 comments
419
▲
Why Texas Is Making Data Centers Wait
(
a16z.com
)
42 points by
gmays
3 days ago
|
90 comments
420
▲
Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app
(
bigwords.page
)
728 points by
SpeakingOfBrad
7 days ago
|
165 comments
Rendered at 15:09:38 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.