• 63 Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History (simpleflying.com)
  by cainxinth 2 days ago | 124 comments
• 38 PGSimCity – an explorable 3D model that shows how Postgres works (github.com)
  by samokhvalov 4 days ago | 3 comments
• 15 Blick Video Editor (blickeditor.com)
  by dsego a day ago | discuss
• 54 How to think about software quality (2022) (evalapply.org)
  by adityaathalye a day ago | 50 comments
• 10 Meta's AI spending reduces quarterly free cash flow by 91% (reuters.com)
  by johnbarron 12 hours ago | discuss
• 271 Zig's Incremental Compilation Internals (mlugg.co.uk)
  by garyhtou 2 days ago | 261 comments
• 114 Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
  by permute 2 days ago | 48 comments
• 18 Casio Moflin (casio.com)
  by austinallegro a day ago | 14 comments
• 25 Baseload Is a Myth (2024) (cleanenergyreview.io)
  by thecopy a day ago | 51 comments
• 19 Watch out for missed warnings on vendor C++ toolchains (blog.poly.nomial.co.uk)
  by luu 2 days ago | 2 comments
• 131 Kimi K3 Now Available via Telnyx Inference API (telnyx.com)
  by fionaattelnyx 3 days ago | 88 comments
• 13 Modest Advice (stearnslab.yale.edu)
  by geneticdrifts a day ago | discuss
• 84 Launch HN: Rise Reforming (YC S26) – Turning Waste Gases into Valuable Chemicals (rise-reforming.com)
  by george_rose25 3 days ago | 38 comments
• 63 There's never been a better time to commit financial fraud (economist.com)
  by petethomas a day ago | 9 comments
• 84 Solving Fermat: Andrew Wiles (pbs.org)
  by 1970-01-01 3 days ago | 36 comments
• 39 Cesium DevCon 2026 talks are up, including a keynote from SQLite's creator (cesium.com)
  by jasteinerman a day ago | 15 comments
• 655 New HIV vaccine shows unprecedented success in preclinical study (lji.org)
  by codebyaditya 2 days ago | 294 comments
• 15 The growing threat of Docusign phishing attacks (2024) (darktrace.com)
  by saikatsg a day ago | 9 comments
• 4 Alan Turing's biggest AI assumption may have been wrong – ScienceDaily (sciencedaily.com)
  by ulrischa 6 hours ago | 1 comments
• 4 STV: A full-motion video codec for the Atari ST (medium.com)
  by indyjo 6 hours ago | discuss
• 185 Teach yourself programming in ten years (1998) (norvig.com)
  by vinhnx 5 days ago | 132 comments
• 10 Great Barrier Reef at risk of 'collapse', scientists warn (japantoday.com)
  by speckx 11 hours ago | discuss
• 10 Why has the display control panel pointer truncation bug gone unfixed for long? (devblogs.microsoft.com)
  by ibobev a day ago | 10 comments
• 204 The iPhone Upgrade Program is being replaced by Apple Upgrade (apple.com)
  by lkurtz 2 days ago | 385 comments
• 48 Beyond Greece and Rome (aeon.co)
  by diodorus 3 days ago | 56 comments
• 7 First CHERIoT Silicon (cheriot.org)
  by fanf2 6 hours ago | discuss
• 23 Graph Engineering Needs a Compiler (fluxtion-playground.dev)
  by v12technology a day ago | 5 comments
• 3 Building Hollywood Motion Capture from Scratch (youtube.com)
  by ivanjermakov 7 hours ago | discuss
• 14 AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug (infosec.exchange)
  by YeGoblynQueenne 10 hours ago | 1 comments
• 11 Show HN: An app that logs your meal's calories from a photo (btrapp.com)
  by behzodhalil 17 hours ago | 16 comments