news

prev

Page 960

next

The Unreasonable Effectiveness of Property Testing for Validating Formal Specs

7 pointsposted 2 days ago
by _doctor_love

Single log line is 49KB+ (ext4) / 110KB+ (btrfs) of systemd-journald disk writes

260 pointsposted 4 days ago
by ValdikSS

In Australia, a home battery boom has helped cut wholesale power prices

360 pointsposted 3 days ago
by speckx

A gas-enshrouded and gas-reddened black hole at cosmic dawn

4 pointsposted 13 hours ago
by diwank

US conducted mass spying campaign against leftwing and anti-ICE protesters

276 pointsposted 4 days ago
by magic_interface

HTML over WebSockets: real-time SPAs with barely any JavaScript

255 pointsposted 5 days ago
by redbell

Ask HN: How do you keep up with HN these days?

88 pointsposted 2 days ago
by simonebrunozzi

Thunderbird's Desktop Calendar Visual Redesign

73 pointsposted 2 days ago
by birdculture

Young People Hate AI CEOs So Passionately That It's Almost Hard to Believe

131 pointsposted 18 hours ago
by healsdata

Targeted marine cloud brightening weakens subsequent El Niño

26 pointsposted a day ago
by musha68k

I want extern "fil-C"

72 pointsposted 4 days ago
by domenkozar

I Remain a Skeptic

123 pointsposted 2 days ago
by lproven

Build Wide, Ship Narrow

105 pointsposted 5 days ago
by ashumz

HackEurope 2026: A short rant on AI and hackathons

55 pointsposted 8 hours ago
by mindracer

How Organizations Use AI: Evidence from ChatGPT [pdf]

125 pointsposted 4 days ago
by malshe

Who's Tracking You? Use This New Service to Find Out

20 pointsposted 3 days ago
by DemiGuru

Wildfire alert backfires as public blocks all government warnings

14 pointsposted a day ago
by josephcsible

Ask HN: What tools are you using for human code review of AI-assisted code?

8 pointsposted a day ago
by dafelst

Why tiny JPEGs look different in Chrome

335 pointsposted 5 days ago
by gutechh

Our Reality Is Shifting and It's Just the Start

17 pointsposted a day ago
by Guustaaf

Brain turns listening inward during REM sleep, EEG recordings suggest

52 pointsposted 2 days ago
by gmays

My Agent Setup

131 pointsposted 5 days ago
by carimura

Artin-Schreier Theorem [pdf]

5 pointsposted 2 days ago
by marysminefnuf

France's top court blocks social media ban for under-15s

236 pointsposted 3 days ago
by BlueBerry2001

Qwen 3.8 27B at 2x speed on a 5090

5 pointsposted 2 days ago
by husky8

Harvestman Spider with a 'Black Bunny' Head Captured on Video

6 pointsposted 15 hours ago
by thunderbong

Hax – a minimalist, terminal-native coding agent written in C

116 pointsposted 5 days ago
by OleksandrC

Graduate student proves a quantum uncertainty principle for fractals

70 pointsposted 4 days ago
by bookofjoe

We eliminated 1,400 CVEs in NanoClaw's container images

70 pointsposted 4 days ago
by omrimaya

Stop sending me huge PRs; a rant

147 pointsposted 3 days ago
by trezm