| 239 | 452 | US SEC preparing to scrap quarterly reporting requirement(reuters.com)5 hours ago |
| 5 | 36 | Monkey Island for Commodore 64 Ground Up(pixeldust.se)1 hour ago |
| 80 | 383 | Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)8 hours ago |
| 4 | 30 | Kagi Translate now supports LinkedIn Speak as an output language(translate.kagi.com)35 minutes ago |
| 19 | 48 | Every layer of review makes you 10x slower(apenwarr.ca)1 hour ago |
| 167 | 388 | Meta’s renewed commitment to jemalloc(engineering.fb.com)11 hours ago |
| 159 | 357 | The “small web” is bigger than you might think(kevinboone.me)11 hours ago |
| 6 | 28 | Lf-lean: The frontier of verified software engineering(theorem.dev)2 hours ago |
| 254 | 292 | The American Healthcare Conundrum(github.com)12 hours ago |
| 101 | 348 | My Journey to a reliable and enjoyable locally hosted voice assistant (2025)(community.home-assistant.io)16 hours ago |
| 3 | 29 | Jepsen: MariaDB Galera Cluster 12.1.2(jepsen.io)1 hour ago |
| 159 | 92 | Beyond has dropped “meat” from its name and expanded its high-protein drink line(plantbasednews.org)8 hours ago |
| 48 | 91 | Show HN: Oxyde – Pydantic-native async ORM with a Rust core(github.com)8 hours ago |
| 0 | 7 | Claude Tips for 3D Work(davesnider.com)1 hour ago |
| 5 | 46 | In space, no one can hear you kernel panic (2020)(increment.com)6 hours ago |
| 191 | 386 | Why I love FreeBSD(it-notes.dragas.net)17 hours ago |
| 22 | 58 | Show HN: Thermal Receipt Printers – Markdown and Web UI(github.com)7 hours ago |
| 173 | 226 | Starlink Mini as a failover(jackpearce.co.uk)17 hours ago |
| 11 | 26 | Pyodide: a Python distribution based on WebAssembly(github.com)3 hours ago |
| 430 | 243 | AirPods Max 2(apple.com)15 hours ago |
| - | | AnswerThis (YC F25) Is Hiring(ycombinator.com)8 hours ago |
| 6 | 22 | Canopy Height Maps v2(ai.meta.com)5 hours ago |
| 910 | 1410 | Polymarket gamblers threaten to kill me over Iran missile story(timesofisrael.com)17 hours ago |
| 37 | 83 | Language model teams as distributed systems(arxiv.org)11 hours ago |
| 134 | 268 | Home Assistant waters my plants(finnian.io)22 hours ago |
| 134 | 114 | The bureaucracy blocking the chance at a cure(writingruxandrabio.com)14 hours ago |
| 55 | 71 | Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps()12 hours ago |
| 132 | 210 | Show HN: Claude Code skills that build complete Godot games(github.com)13 hours ago |
| 107 | 227 | Lies I was told about collaborative editing, Part 2: Why we don't use Yjs(moment.dev)21 hours ago |
| 9 | 17 | Zenclora OS(zenclora.org)1 hour ago |
