| 102 | 510 | Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)12 hours ago |
| 7 | 53 | The unlikely story of Teardown Multiplayer(blog.voxagon.se)3 hours ago |
| 185 | 430 | Meta’s renewed commitment to jemalloc(engineering.fb.com)14 hours ago |
| 175 | 416 | The “small web” is bigger than you might think(kevinboone.me)15 hours ago |
| 291 | 335 | The American Healthcare Conundrum(github.com)15 hours ago |
| 103 | 210 | Every layer of review makes you 10x slower(apenwarr.ca)5 hours ago |
| 3 | 29 | Gitana 18: the new flying Ultim trimaran(boatnews.com)4 hours ago |
| 307 | 568 | US SEC preparing to scrap quarterly reporting requirement(reuters.com)9 hours ago |
| 15 | 79 | Sci-Fi Short Film “There Is No Antimemetics Division” [video](youtube.com)7 hours ago |
| 23 | 69 | Pyodide: a Python distribution based on WebAssembly(github.com)7 hours ago |
| 35 | 119 | Monkey Island for Commodore 64 Ground Up(pixeldust.se)5 hours ago |
| 104 | 370 | My Journey to a reliable and enjoyable locally hosted voice assistant (2025)(community.home-assistant.io)19 hours ago |
| 107 | 442 | Kagi Translate now supports LinkedIn Speak as an output language(translate.kagi.com)4 hours ago |
| 234 | 123 | Beyond has dropped “meat” from its name and expanded its high-protein drink line(plantbasednews.org)12 hours ago |
| 206 | 427 | Why I love FreeBSD(it-notes.dragas.net)21 hours ago |
| 16 | 73 | Claude Tips for 3D Work(davesnider.com)5 hours ago |
| 0 | 3 | Fatal Core Dump Game(robopenguins.com)1 hour ago |
| 55 | 104 | Show HN: Oxyde – Pydantic-native async ORM with a Rust core(github.com)12 hours ago |
| 185 | 255 | Starlink Mini as a failover(jackpearce.co.uk)20 hours ago |
| 8 | 59 | In space, no one can hear you kernel panic (2020)(increment.com)10 hours ago |
| 30 | 80 | Show HN: Thermal Receipt Printers – Markdown and Web UI(github.com)11 hours ago |
| 3 | 8 | Show HN: Droeftoeter, a Terminal Coding Toy(github.com)3 hours ago |
| 455 | 277 | AirPods Max 2(apple.com)19 hours ago |
| 5 | 69 | Jepsen: MariaDB Galera Cluster 12.1.2(jepsen.io)5 hours ago |
| 935 | 1478 | Polymarket gamblers threaten to kill me over Iran missile story(timesofisrael.com)21 hours ago |
| 151 | 130 | The bureaucracy blocking the chance at a cure(writingruxandrabio.com)18 hours ago |
| 61 | 110 | Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)(arxiv.org)15 hours ago |
| - | | AnswerThis (YC F25) Is Hiring(ycombinator.com)12 hours ago |
| 113 | 245 | Lies I was told about collaborative editing, Part 2: Why we don't use Yjs(moment.dev)1 day ago |
| 39 | 91 | Language model teams as distributed systems(arxiv.org)15 hours ago |
