• 7 The Unreasonable Effectiveness of Property Testing for Validating Formal Specs (proofsandintuitions.net)
  by _doctor_love 2 days ago | discuss
• 360 In Australia, a home battery boom has helped cut wholesale power prices (e360.yale.edu)
  by speckx 3 days ago | 314 comments
• 260 Single log line is 49KB+ (ext4) / 110KB+ (btrfs) of systemd-journald disk writes (github.com)
  by ValdikSS 4 days ago | 223 comments
• 276 US conducted mass spying campaign against leftwing and anti-ICE protesters (theguardian.com)
  by magic_interface 4 days ago | 100 comments
• 255 HTML over WebSockets: real-time SPAs with barely any JavaScript (en.andros.dev)
  by redbell 5 days ago | 199 comments
• 26 Targeted marine cloud brightening weakens subsequent El Niño (science.org)
  by musha68k a day ago | 1 comments
• 73 Thunderbird's Desktop Calendar Visual Redesign (blog.thunderbird.net)
  by birdculture 2 days ago | 27 comments
• 8 Ask HN: What tools are you using for human code review of AI-assisted code? ()
  by dafelst a day ago | 4 comments   ask
• 14 Wildfire alert backfires as public blocks all government warnings (telegraph.co.uk)
  by josephcsible a day ago | 5 comments
• 17 Our Reality Is Shifting and It's Just the Start (guustaaf.substack.com)
  by Guustaaf a day ago | 20 comments
• 130 Young People Hate AI CEOs So Passionately That It's Almost Hard to Believe (futurism.com)
  by healsdata 17 hours ago | 136 comments
• 72 I want extern "fil-C" (domenkozar.com)
  by domenkozar 4 days ago | 39 comments
• 87 Ask HN: How do you keep up with HN these days? ()
  by simonebrunozzi 2 days ago | 142 comments   ask
• 105 Build Wide, Ship Narrow (adapt.com)
  by ashumz 5 days ago | 32 comments
• 20 Who's Tracking You? Use This New Service to Find Out (krebsonsecurity.com)
  by DemiGuru 3 days ago | discuss
• 125 How Organizations Use AI: Evidence from ChatGPT [pdf] (cdn.openai.com)
  by malshe 4 days ago | 113 comments
• 52 Brain turns listening inward during REM sleep, EEG recordings suggest (medicalxpress.com)
  by gmays 2 days ago | 21 comments
• 335 Why tiny JPEGs look different in Chrome (guillaumetech.github.io)
  by gutechh 5 days ago | 67 comments
• 131 My Agent Setup (chad.cm)
  by carimura 5 days ago | 64 comments
• 5 Artin-Schreier Theorem [pdf] (kconrad.math.uconn.edu)
  by marysminefnuf 2 days ago | 1 comments
• 6 Harvestman Spider with a 'Black Bunny' Head Captured on Video (allthatsinteresting.com)
  by thunderbong 14 hours ago | 1 comments
• 236 France's top court blocks social media ban for under-15s (reuters.com)
  by BlueBerry2001 3 days ago | 178 comments
• 5 Qwen 3.8 27B at 2x speed on a 5090 (github.com)
  by husky8 2 days ago | discuss
• 122 I Remain a Skeptic (blog.jsbarretto.com)
  by lproven 2 days ago | 120 comments
• 116 Hax – a minimalist, terminal-native coding agent written in C (usehax.dev)
  by OleksandrC 5 days ago | 36 comments
• 12 AI is not just one bubble, strategist says – but a 'rolling sequence of bubbles' (fortune.com)
  by pessimizer 21 hours ago | 10 comments
• 70 Graduate student proves a quantum uncertainty principle for fractals (quantamagazine.org)
  by bookofjoe 4 days ago | 12 comments
• 70 We eliminated 1,400 CVEs in NanoClaw's container images (echo.ai)
  by omrimaya 4 days ago | 47 comments
• 147 Stop sending me huge PRs; a rant (getsmall.xyz)
  by trezm 3 days ago | 106 comments
• 182 Delphi 13 Community Edition Is Now Available (blogs.embarcadero.com)
  by layer8 5 days ago | 149 comments