| 183 | 363 | US SEC preparing to scrap quarterly reporting requirement(reuters.com)3 hours ago |
| 68 | 350 | Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)6 hours ago |
| 156 | 369 | Meta’s renewed commitment to jemalloc(engineering.fb.com)9 hours ago |
| 141 | 339 | The “small web” is bigger than you might think(kevinboone.me)10 hours ago |
| 228 | 273 | The American Healthcare Conundrum(github.com)10 hours ago |
| 100 | 336 | My Journey to a reliable and enjoyable locally hosted voice assistant (2025)(community.home-assistant.io)14 hours ago |
| 42 | 85 | Show HN: Oxyde – Pydantic-native async ORM with a Rust core(github.com)7 hours ago |
| 117 | 73 | Beyond has dropped “meat” from its name and expanded its high-protein drink line(plantbasednews.org)6 hours ago |
| 2 | 39 | In space, no one can hear you kernel panic (2020)(increment.com)4 hours ago |
| 184 | 378 | Why I love FreeBSD(it-notes.dragas.net)16 hours ago |
| 13 | 48 | Show HN: Thermal Receipt Printers – Markdown and Web UI(github.com)6 hours ago |
| 11 | 24 | Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB)(gitclassic.com)3 hours ago |
| 4 | 18 | Canopy Height Maps v2(ai.meta.com)4 hours ago |
| 169 | 219 | Starlink Mini as a failover(jackpearce.co.uk)15 hours ago |
| 408 | 231 | AirPods Max 2(apple.com)14 hours ago |
| 894 | 1385 | Polymarket gamblers threaten to kill me over Iran missile story(timesofisrael.com)15 hours ago |
| 33 | 76 | Language model teams as distributed systems(arxiv.org)10 hours ago |
| - | | AnswerThis (YC F25) Is Hiring(ycombinator.com)6 hours ago |
| 3 | 12 | Pyodide: a Python distribution based on WebAssembly(github.com)2 hours ago |
| 51 | 71 | Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps()11 hours ago |
| 134 | 259 | Home Assistant waters my plants(finnian.io)20 hours ago |
| 127 | 106 | The bureaucracy blocking the chance at a cure(writingruxandrabio.com)12 hours ago |
| 122 | 192 | Show HN: Claude Code skills that build complete Godot games(github.com)11 hours ago |
| 107 | 126 | Apideck CLI – An AI-agent interface with much lower context consumption than MCP(apideck.com)12 hours ago |
| 105 | 220 | Lies I was told about collaborative editing, Part 2: Why we don't use Yjs(moment.dev)19 hours ago |
| 355 | 679 | Corruption erodes social trust more in democracies than in autocracies(frontiersin.org)16 hours ago |
| 39 | 94 | On The Need For Understanding(blog.information-superhighway.net)11 hours ago |
| 69 | 126 | Kona EV Hacking(techno-fandom.org)19 hours ago |
| 53 | 168 | Lazycut: A simple terminal video trimmer using FFmpeg(github.com)15 hours ago |
| 220 | 95 | Cert Authorities Check for DNSSEC from Today(grepular.com)12 hours ago |