- 51"Why not just use Lean?" (lawrencecpaulson.github.io)
- 137Show HN: OSS Agent I built topped the TerminalBench on Gemini-3-flash-preview (github.com)
- 280Pgbackrest is no longer being maintained (github.com)
- 1554TB of voice samples just stolen from 40k AI contractors at Mercor (app.oravys.com)
- 164Fully Featured Audio DSP Firmware for the Raspberry Pi Pico (github.com)
- 20Tendril – a self-extending agent that builds and registers its own tools (github.com)
- 145Men Who Stare at Walls (alexselimov.com)
- 35Running Local LLMs Offline on a Ten-Hour Flight (deploy.live)
- 83FDA Approves First-Ever Gene Therapy for Treatment of Genetic Hearing Loss (fda.gov)
- 429Flipdiscs (flipdisc.io)
- 102Microsoft to Stop Sharing Revenue with Main AI Partner OpenAI (bloomberg.com)
- 979I bought Friendster for $30k – Here's what I'm doing with it (ca98am79.medium.com)
- 15Understanding the short circuit in solid-state batteries (mpie.de)
- 100Quarkdown – Markdown with Superpowers (quarkdown.com)
- 704AI should elevate your thinking, not replace it (koshyjohn.com)
- 41Show HN: A terminal spreadsheet editor with Vim keybindings (github.com)
- 49Getting my daily news from a dot matrix printer 2024 (aschmelyun.com)
- 239TurboQuant: A first-principles walkthrough (arkaung.github.io)
- 9Managing the Unmanaged Switch (watchmysys.com)
- 394Self-updating screenshots (interblah.net)
- 212The Prompt API (developer.chrome.com)
- 38Branimir Lambov from IBM on Cassandra (theconsensus.dev)
- 149It's OK to abandon your side-project (2024) (robbowen.digital)
- 304Fast16: High-precision software sabotage 5 years before Stuxnet (sentinelone.com)
- 28Electrostatics and High Voltage Links (amasci.com)
- 295Three constraints before I build anything (jordanlord.co.uk)
- 65A Guide to CubeSat Mission and Bus Design (pressbooks-dev.oer.hawaii.edu)
- 163Box to save memory in Rust (dystroy.org)
- 464Sawe becomes first athlete to run a sub-two-hour marathon in a competitive race (bbc.com)
- 115FreeBSD Device Drivers Book (github.com)