N
Hacker Next
new
past
show
ask
show
jobs
submit
login
271
▲
The Unreasonable Effectiveness of Property Testing for Validating Formal Specs
(
proofsandintuitions.net
)
7 points by
_doctor_love
2 days ago
|
0 comments
272
▲
Single log line is 49KB+ (ext4) / 110KB+ (btrfs) of systemd-journald disk writes
(
github.com
)
260 points by
ValdikSS
4 days ago
|
223 comments
273
▲
US conducted mass spying campaign against leftwing and anti-ICE protesters
(
theguardian.com
)
276 points by
magic_interface
4 days ago
|
100 comments
274
▲
HTML over WebSockets: real-time SPAs with barely any JavaScript
(
en.andros.dev
)
255 points by
redbell
5 days ago
|
199 comments
275
▲
In Australia, a home battery boom has helped cut wholesale power prices
(
e360.yale.edu
)
360 points by
speckx
3 days ago
|
318 comments
276
▲
Ask HN: How do you keep up with HN these days?
88 points by
simonebrunozzi
2 days ago
|
142 comments
277
▲
A gas-enshrouded and gas-reddened black hole at cosmic dawn
(
nature.com
)
4 points by
diwank
14 hours ago
|
0 comments
278
▲
Build Wide, Ship Narrow
(
adapt.com
)
105 points by
ashumz
5 days ago
|
32 comments
279
▲
I want extern "fil-C"
(
domenkozar.com
)
72 points by
domenkozar
4 days ago
|
39 comments
280
▲
Thunderbird's Desktop Calendar Visual Redesign
(
blog.thunderbird.net
)
73 points by
birdculture
2 days ago
|
27 comments
281
▲
How Organizations Use AI: Evidence from ChatGPT [pdf]
(
cdn.openai.com
)
125 points by
malshe
4 days ago
|
113 comments
282
▲
I Remain a Skeptic
(
blog.jsbarretto.com
)
123 points by
lproven
2 days ago
|
120 comments
283
▲
Targeted marine cloud brightening weakens subsequent El Niño
(
science.org
)
26 points by
musha68k
2 days ago
|
1 comment
284
▲
Who's Tracking You? Use This New Service to Find Out
(
krebsonsecurity.com
)
20 points by
DemiGuru
3 days ago
|
0 comments
285
▲
Why tiny JPEGs look different in Chrome
(
guillaumetech.github.io
)
335 points by
gutechh
5 days ago
|
67 comments
286
▲
My Agent Setup
(
chad.cm
)
131 points by
carimura
5 days ago
|
64 comments
287
▲
Brain turns listening inward during REM sleep, EEG recordings suggest
(
medicalxpress.com
)
52 points by
gmays
2 days ago
|
21 comments
288
▲
Wildfire alert backfires as public blocks all government warnings
(
telegraph.co.uk
)
14 points by
josephcsible
1 days ago
|
5 comments
289
▲
Our Reality Is Shifting and It's Just the Start
(
guustaaf.substack.com
)
17 points by
Guustaaf
1 days ago
|
20 comments
290
▲
Ask HN: What tools are you using for human code review of AI-assisted code?
9 points by
dafelst
24 hours ago
|
4 comments
291
▲
France's top court blocks social media ban for under-15s
(
reuters.com
)
237 points by
BlueBerry2001
3 days ago
|
178 comments
292
▲
Artin-Schreier Theorem [pdf]
(
kconrad.math.uconn.edu
)
5 points by
marysminefnuf
2 days ago
|
1 comment
293
▲
Qwen 3.8 27B at 2x speed on a 5090
(
github.com
)
5 points by
husky8
2 days ago
|
0 comments
294
▲
Hax – a minimalist, terminal-native coding agent written in C
(
usehax.dev
)
116 points by
OleksandrC
5 days ago
|
36 comments
295
▲
Graduate student proves a quantum uncertainty principle for fractals
(
quantamagazine.org
)
70 points by
bookofjoe
4 days ago
|
12 comments
296
▲
We eliminated 1,400 CVEs in NanoClaw's container images
(
echo.ai
)
70 points by
omrimaya
4 days ago
|
47 comments
297
▲
Delphi 13 Community Edition Is Now Available
(
blogs.embarcadero.com
)
182 points by
layer8
5 days ago
|
149 comments
298
▲
Stop sending me huge PRs; a rant
(
getsmall.xyz
)
147 points by
trezm
3 days ago
|
106 comments
299
▲
My Rules for Using Spreadsheets
(
leancrew.com
)
66 points by
surprisetalk
4 days ago
|
57 comments
300
▲
Harvestman Spider with a 'Black Bunny' Head Captured on Video
(
allthatsinteresting.com
)
6 points by
thunderbong
15 hours ago
|
1 comment
Rendered at 15:53:58 GMT+0000 (Coordinated Universal Time) with Vercel.