- 532 Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
- 63 The unlikely story of Teardown Multiplayer (blog.voxagon.se)
- 435 Meta’s renewed commitment to jemalloc (engineering.fb.com)
- 422 The “small web” is bigger than you might think (kevinboone.me)
- 342 The American Healthcare Conundrum (github.com)
- 33 Gitana 18: the new flying Ultim trimaran (boatnews.com)
- 222 Every layer of review makes you 10x slower (apenwarr.ca)
- 573 US SEC preparing to scrap quarterly reporting requirement (reuters.com)
- 82 Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
- 73 Pyodide: a Python distribution based on WebAssembly (github.com)
- 370 My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
- 126 Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
- 125 Monkey Island for Commodore 64 Ground Up (pixeldust.se)
- 430 Why I love FreeBSD (it-notes.dragas.net)
- 455 Kagi Translate now supports LinkedIn Speak as an output language (translate.kagi.com)
- 76 Claude Tips for 3D Work (davesnider.com)
- 104 Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com)
- 257 Starlink Mini as a failover (jackpearce.co.uk)
- 60 In space, no one can hear you kernel panic (2020) (increment.com)
- 81 Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com)
- 3 Fatal Core Dump Game (robopenguins.com)
- 279 AirPods Max 2 (apple.com)
- 9 Show HN: Droeftoeter, a Terminal Coding Toy (github.com)
- 1484 Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
- 72 Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
- 248 Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
- 131 The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
- AnswerThis (YC F25) Is Hiring (ycombinator.com)
job - 111 Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) (arxiv.org)
- 91 Language model teams as distributed systems (arxiv.org)