• 97 How to Formalize All of Mathematics (xenaproject.wordpress.com)
  by practal 4 days ago | 87 comments
• 141 Development statistics for the 7.2 kernel (lwn.net)
  by farlight 3 days ago | 116 comments
• 111 C++26: The New Debugging Header (sandordargo.com)
  by jandeboevrie 3 days ago | 28 comments
• 649 Jev meets the Trolley Problem (zachlandes.com)
  by zlandes86 5 days ago | 261 comments
• 90 Is Liquid Metal Killing Our PCs? Scientific Analysis and a 2-Year Test [video] (youtube.com)
  by zdw 4 days ago | 53 comments
• 54 The math that OpenAI keeps for itself (newsletter.danielpaleka.com)
  by dpaleka 2 days ago | 19 comments
• 88 GifCities (gifcities.org)
  by augury 3 days ago | 15 comments
• 29 August in Servo: CSS Grid, text selection, and more (servo.org)
  by msub2 2 days ago | discuss
• 135 The engineering that allows articulated buses to bend (theautopian.com)
  by CharlesW 5 days ago | 62 comments
• 218 The Folders Programming Language (danieltemkin.com)
  by gurst 4 days ago | 38 comments
• 181 /dev/null: social network for developers (dev-null.sh)
  by mnapoli 4 days ago | 171 comments
• 78 The history of development of Norton Commander (2011) (softpanorama.org)
  by Michelangelo11 4 days ago | 29 comments
• 86 Tiny Brutalism – Thanks to HN it's on Steam (store.steampowered.com)
  by MatiErnst a day ago | 10 comments
• 280 eBay Restricts Listings of Radio Equipment, but Exempts Ham-Band-Only Gear (arrl.org)
  by 7402 3 days ago | 259 comments
• 12 Geographical Fun: Being Humourous Outlines of Various Countries (1868) (publicdomainreview.org)
  by Thevet 3 days ago | 1 comments
• 90 US threatens Europe over Starlink restrictions (ft.com)
  by mraniki a day ago | 137 comments
• 14 Show HN: OmniPTY – Opinionated terminal emulator for macOS and Linux (github.com)
  by bobbycoleman-de a day ago | 4 comments
• 5 Homeland Security is requiring all civilian federal agencies to remove DeepSeek (twitter.com)
  by sergiotapia 10 hours ago | 1 comments
• 213 FLUX 3 Image Klein (bfl.ai)
  by gmays 3 days ago | 58 comments
• 8 US teens can access 'nudify' apps despite Apple and Google's parental controls (theguardian.com)
  by pseudolus 16 hours ago | discuss
• 32 US Global Entry revoked for importing $12 of ESP32 boards (reddit.com)
  by z2 a day ago | 2 comments
• 27 Writing is no longer proof of work (seangoedecke.com)
  by gpi a day ago | 9 comments
• 139 An Apology (elevationlab.com)
  by cdrnsf 5 days ago | 152 comments
• 9 DHS Orders DeepSeek Technology Removed from Federal Civilian IT Systems (wsj.com)
  by tatersolid 10 hours ago | 1 comments
• 73 We still use paper (humanpro.co)
  by gx 5 days ago | 81 comments
• 5 Efficacy of Ibuprofen versus Acetaminophen for Acute Fever in Febrile Children (link.springer.com)
  by XzetaU8 10 hours ago | 5 comments
• 328 JPEG XL vs. AVIF for web use-cases (jakearchibald.com)
  by farlight 4 days ago | 216 comments
• 14 Show HN: CallSitter – bot that answers my calls and wastes scammers' time (github.com)
  by szert 2 days ago | 11 comments
• 701 Tiny Little Office (tinylittleoffice.com)
  by donohoe 5 days ago | 201 comments
• 131 Thank You, Deno (vlt.io)
  by jcbhmr 4 days ago | 33 comments