- 68 US SEC preparing to scrap quarterly reporting requirement (reuters.com)
- 257 Leanstral: Open-source code agent designed for Lean 4 (mistral.ai)
- 321 Meta’s renewed commitment to jemalloc (engineering.fb.com)
- 297 The “small web” is bigger than you might think (kevinboone.me)
- 168 US commercial insurers pay 254% of Medicare for the same hospital procedures (github.com)
- 11 Show HN: Trackm, a personal finance web app (trackm.net)
- 309 My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
- 48 Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com)
- 19 Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com)
- 337 Why I love FreeBSD (it-notes.dragas.net)
- 64 Language Model Teams as Distrbuted Systems (arxiv.org)
- 143 Show HN: Claude Code skills that build complete Godot games (github.com)
- AnswerThis (YC F25) Is Hiring (ycombinator.com)
job - 181 Starlink Mini as a failover (jackpearce.co.uk)
- 63 Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps ()
- 1297 Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
- 10 In space, no one can hear you kernel panic (increment.com)
- 116 Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com)
- 187 AirPods Max 2 (apple.com)
- 28 Teens sue xAI over Grok's pornographic images of them (bbc.com)
- 118 Nvidia Launches Vera CPU, Purpose-Built for Agentic AI (nvidianews.nvidia.com)
- 77 On The Need For Understanding (blog.information-superhighway.net)
- 246 Home Assistant waters my plants (finnian.io)
- 638 Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
- 85 The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
- 192 Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
- 84 Cert Authorities Check for DNSSEC from Today (grepular.com)
- 117 Kona EV Hacking (techno-fandom.org)
- 145 Lazycut: A simple terminal video trimmer using FFmpeg (github.com)
- 393 US Job Market Visualizer (karpathy.ai)