- 54How to think about software quality (2022) (evalapply.org)
- 188Now is the time to give LLMs access to the ACM digital library (cacm.acm.org)
- 12AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug (infosec.exchange)
- 63Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History (simpleflying.com)
- 18Casio Moflin (casio.com)
- 62There's never been a better time to commit financial fraud (economist.com)
- 13Modest Advice (stearnslab.yale.edu)
- 25Baseload Is a Myth (2024) (cleanenergyreview.io)
- 19Watch out for missed warnings on vendor C++ toolchains (blog.poly.nomial.co.uk)
- 271Zig's Incremental Compilation Internals (mlugg.co.uk)
- 114Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
- 39Cesium DevCon 2026 talks are up, including a keynote from SQLite's creator (cesium.com)
- 15The growing threat of Docusign phishing attacks (2024) (darktrace.com)
- 131Kimi K3 Now Available via Telnyx Inference API (telnyx.com)
- 84Launch HN: Rise Reforming (YC S26) – Turning Waste Gases into Valuable Chemicals (rise-reforming.com)
- 10Why has the display control panel pointer truncation bug gone unfixed for long? (devblogs.microsoft.com)
- 84Solving Fermat: Andrew Wiles (pbs.org)
- 18New microwave frying method could make French fries much healthier (sciencedaily.com)
- 655New HIV vaccine shows unprecedented success in preclinical study (lji.org)
- 11Show HN: An app that logs your meal's calories from a photo (btrapp.com)
- 23Graph Engineering Needs a Compiler (fluxtion-playground.dev)
- 184Teach yourself programming in ten years (1998) (norvig.com)
- 48Beyond Greece and Rome (aeon.co)
- 204The iPhone Upgrade Program is being replaced by Apple Upgrade (apple.com)
- 5The New Science of Inflammation (nytimes.com)
- 3Reaping the Whirlwind – Inside the Potomac River Midair Collision (admiralcloudberg.medium.com)
- 5The Origins of Vintage Comics Part 1 (truegrittexturesupply.com)
- 95How real are real numbers? (2004) (arxiv.org)
- 56Ubuntu's TPM encryption switches to snap kernel that blocks deb kernel packages (bare.systems)
- 164Self-contained highly-portable Python distributions (gregoryszorc.com)