- 349US SEC preparing to scrap quarterly reporting requirement (reuters.com)
- 345Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
- 366Meta’s renewed commitment to jemalloc (engineering.fb.com)
- 270The American Healthcare Conundrum (github.com)
- 337The “small web” is bigger than you might think (kevinboone.me)
- 335My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
- 84Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com)
- 70Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
- 38In space, no one can hear you kernel panic (2020) (increment.com)
- 23Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB) (gitclassic.com)
- 376Why I love FreeBSD (it-notes.dragas.net)
- 47Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com)
- 18Canopy Height Maps v2 (ai.meta.com)
- 218Starlink Mini as a failover (jackpearce.co.uk)
- 229AirPods Max 2 (apple.com)
- 10Pyodide: a Python distribution based on WebAssembly (github.com)
- 1382Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
- AnswerThis (YC F25) Is Hiring (ycombinator.com)
job - 75Language model teams as distributed systems (arxiv.org)
- 69Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
- 258Home Assistant waters my plants (finnian.io)
- 126Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com)
- 104The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
- 218Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
- 677Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
- 190Show HN: Claude Code skills that build complete Godot games (github.com)
- 94On The Need For Understanding (blog.information-superhighway.net)
- 126Kona EV Hacking (techno-fandom.org)
- 166Lazycut: A simple terminal video trimmer using FFmpeg (github.com)
- 95Cert Authorities Check for DNSSEC from Today (grepular.com)