-
461
US SEC preparing to scrap quarterly reporting requirement
(reuters.com)
-
64
Kagi Translate now supports LinkedIn Speak as an output language
(translate.kagi.com)
-
45
Monkey Island for Commodore 64 Ground Up
(pixeldust.se)
-
389
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
-
62
Every layer of review makes you 10x slower
(apenwarr.ca)
-
395
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
-
362
The “small web” is bigger than you might think
(kevinboone.me)
-
294
The American Healthcare Conundrum
(github.com)
-
351
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
(community.home-assistant.io)
-
11
Claude Tips for 3D Work
(davesnider.com)
-
93
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
-
91
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
(github.com)
-
33
Jepsen: MariaDB Galera Cluster 12.1.2
(jepsen.io)
-
387
Why I love FreeBSD
(it-notes.dragas.net)
-
47
In space, no one can hear you kernel panic (2020)
(increment.com)
-
29
Pyodide: a Python distribution based on WebAssembly
(github.com)
-
59
Show HN: Thermal Receipt Printers – Markdown and Web UI
(github.com)
-
31
Lf-lean: The frontier of verified software engineering
(theorem.dev)
-
229
Starlink Mini as a failover
(jackpearce.co.uk)
-
246
AirPods Max 2
(apple.com)
-
1412
Polymarket gamblers threaten to kill me over Iran missile story
(timesofisrael.com)
-
AnswerThis (YC F25) Is Hiring
(ycombinator.com)
job -
85
Language model teams as distributed systems
(arxiv.org)
-
22
Canopy Height Maps v2
(ai.meta.com)
-
272
Home Assistant waters my plants
(finnian.io)
-
211
Show HN: Claude Code skills that build complete Godot games
(github.com)
-
114
The bureaucracy blocking the chance at a cure
(writingruxandrabio.com)
-
227
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs
(moment.dev)
-
71
Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
()
-
176
Lazycut: A simple terminal video trimmer using FFmpeg
(github.com)