-
235
US SEC preparing to scrap quarterly reporting requirement
(reuters.com)
-
301
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
-
342
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
-
227
US commercial insurers pay 254% of Medicare for the same hospital procedures
(github.com)
-
312
The “small web” is bigger than you might think
(kevinboone.me)
-
318
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
(community.home-assistant.io)
-
24
In space, no one can hear you kernel panic
(increment.com)
-
60
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
(github.com)
-
33
Show HN: Thermal Receipt Printers – Markdown and Web UI
(github.com)
-
353
Why I love FreeBSD
(it-notes.dragas.net)
-
9
Canopy Height Maps v2
(ai.meta.com)
-
19
The future of Amazon coders is the present of Amazon warehouse workers
(pluralistic.net)
-
198
Starlink Mini as a failover
(jackpearce.co.uk)
-
71
Language Model Teams as Distrbuted Systems
(arxiv.org)
-
1344
Polymarket gamblers threaten to kill me over Iran missile story
(timesofisrael.com)
-
AnswerThis (YC F25) Is Hiring
(ycombinator.com)
job -
212
AirPods Max 2
(apple.com)
-
65
Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
()
-
122
Apideck CLI – An AI-agent interface with much lower context consumption than MCP
(apideck.com)
-
252
Home Assistant waters my plants
(finnian.io)
-
4
Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB)
(gitclassic.com)
-
86
On The Need For Understanding
(blog.information-superhighway.net)
-
93
The bureaucracy blocking the chance at a cure
(writingruxandrabio.com)
-
661
Corruption erodes social trust more in democracies than in autocracies
(frontiersin.org)
-
166
Show HN: Claude Code skills that build complete Godot games
(github.com)
-
202
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs
(moment.dev)
-
120
Kona EV Hacking
(techno-fandom.org)
-
155
Lazycut: A simple terminal video trimmer using FFmpeg
(github.com)
-
129
Nvidia Launches Vera CPU, Purpose-Built for Agentic AI
(nvidianews.nvidia.com)
-
88
Cert Authorities Check for DNSSEC from Today
(grepular.com)