• 337 French musician Kavinsky found dead (euronews.com)
  by bristleworm a day ago | 78 comments
• 38 PGSimCity – an explorable 3D model that shows how Postgres works (github.com)
  by samokhvalov 4 days ago | 3 comments
• 54 How to think about software quality (2022) (evalapply.org)
  by adityaathalye a day ago | 50 comments
• 188 Now is the time to give LLMs access to the ACM digital library (cacm.acm.org)
  by rbanffy 2 days ago | 176 comments
• 10 Great Barrier Reef at risk of 'collapse', scientists warn (japantoday.com)
  by speckx 10 hours ago | discuss
• 63 Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History (simpleflying.com)
  by cainxinth 2 days ago | 124 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
• 13 Modest Advice (stearnslab.yale.edu)
  by geneticdrifts a day ago | discuss
• 62 There's never been a better time to commit financial fraud (economist.com)
  by petethomas a day ago | 9 comments
• 19 Watch out for missed warnings on vendor C++ toolchains (blog.poly.nomial.co.uk)
  by luu 2 days ago | 2 comments
• 271 Zig's Incremental Compilation Internals (mlugg.co.uk)
  by garyhtou 2 days ago | 262 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
• 12 AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug (infosec.exchange)
  by YeGoblynQueenne 9 hours ago | 1 comments
• 39 Cesium DevCon 2026 talks are up, including a keynote from SQLite's creator (cesium.com)
  by jasteinerman a day ago | 15 comments
• 131 Kimi K3 Now Available via Telnyx Inference API (telnyx.com)
  by fionaattelnyx 3 days ago | 88 comments
• 15 The growing threat of Docusign phishing attacks (2024) (darktrace.com)
  by saikatsg a day ago | 9 comments
• 84 Launch HN: Rise Reforming (YC S26) – Turning Waste Gases into Valuable Chemicals (rise-reforming.com)
  by george_rose25 3 days ago | 38 comments
• 84 Solving Fermat: Andrew Wiles (pbs.org)
  by 1970-01-01 3 days ago | 36 comments
• 10 Why has the display control panel pointer truncation bug gone unfixed for long? (devblogs.microsoft.com)
  by ibobev a day ago | 10 comments
• 655 New HIV vaccine shows unprecedented success in preclinical study (lji.org)
  by codebyaditya 2 days ago | 294 comments
• 184 Teach yourself programming in ten years (1998) (norvig.com)
  by vinhnx 5 days ago | 132 comments
• 23 Graph Engineering Needs a Compiler (fluxtion-playground.dev)
  by v12technology a day ago | 5 comments
• 48 Beyond Greece and Rome (aeon.co)
  by diodorus 3 days ago | 56 comments
• 204 The iPhone Upgrade Program is being replaced by Apple Upgrade (apple.com)
  by lkurtz 2 days ago | 385 comments
• 18 New microwave frying method could make French fries much healthier (sciencedaily.com)
  by london_safari 15 hours ago | 1 comments
• 11 Show HN: An app that logs your meal's calories from a photo (btrapp.com)
  by behzodhalil 16 hours ago | 15 comments
• 5 The New Science of Inflammation (nytimes.com)
  by elo2000 8 hours ago | 2 comments
• 3 Reaping the Whirlwind – Inside the Potomac River Midair Collision (admiralcloudberg.medium.com)
  by failingforward 7 hours ago | discuss
• 95 How real are real numbers? (2004) (arxiv.org)
  by surprisetalk 3 days ago | 99 comments