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