- 114Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
- 271Zig's Incremental Compilation Internals (mlugg.co.uk)
- 14The way GPT-5.6 fuses frontier intelligence with frontier efficiency – OpenAI (openai.com)
- 338French musician Kavinsky found dead (euronews.com)
- 84Solving Fermat: Andrew Wiles (pbs.org)
- 655New HIV vaccine shows unprecedented success in preclinical study (lji.org)
- 6What happens to your private messages under 'Chat Control'? (euronews.com)
- 8Stripe's opt-out Radar price increase dressed up as a free trial ()
- 38PGSimCity – an explorable 3D model that shows how Postgres works (github.com)
- 204The iPhone Upgrade Program is being replaced by Apple Upgrade (apple.com)
- 185Teach yourself programming in ten years (1998) (norvig.com)
- 14Show HN: Full stack development from one codebase web, Android, and iOS (github.com)
- 48Beyond Greece and Rome (aeon.co)
- 25Baseload Is a Myth (2024) (cleanenergyreview.io)
- 95How real are real numbers? (2004) (arxiv.org)
- 19Watch out for missed warnings on vendor C++ toolchains (blog.poly.nomial.co.uk)
- 15Blick Video Editor (blickeditor.com)
- 164Self-contained highly-portable Python distributions (gregoryszorc.com)
- 39Cesium DevCon 2026 talks are up, including a keynote from SQLite's creator (cesium.com)
- 5C++ float-to-int conversion can be undefined behavior (kttnr.net)
- 18Casio Moflin (casio.com)
- 13Modest Advice (stearnslab.yale.edu)
- 56Ubuntu's TPM encryption switches to snap kernel that blocks deb kernel packages (bare.systems)
- 7'The Boss Wants This Money': Inside Trump's Unprecedented Fundraising Operation (wsj.com)
- 9FTC Acts Against Hims & Hers for Deceptive and Unlawful Privacy Practices (ftc.gov)
- 15The growing threat of Docusign phishing attacks (2024) (darktrace.com)
- 24Graph Engineering Needs a Compiler (fluxtion-playground.dev)
- 10Why has the display control panel pointer truncation bug gone unfixed for long? (devblogs.microsoft.com)
- 163Exploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles (eaton-works.com)
- 63There's never been a better time to commit financial fraud (economist.com)