1
US SEC preparing to scrap quarterly reporting requirementreuters.com
380 points by djoldman 4 hours ago | 189 comments
2
Leanstral: Open-source agent for trustworthy coding and formal proof engineeringmistral.ai
354 points by Poudlardo 7 hours ago | 70 comments
3
Meta’s renewed commitment to jemallocengineering.fb.com
373 points by hahahacorn 10 hours ago | 156 comments
4
The “small web” is bigger than you might thinkkevinboone.me
342 points by speckx 11 hours ago | 142 comments
5
The American Healthcare Conundrumgithub.com
276 points by rexroad 11 hours ago | 232 comments
6
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)community.home-assistant.io
337 points by Vaslo 15 hours ago | 100 comments
7
Show HN: Oxyde – Pydantic-native async ORM with a Rust coregithub.com
86 points by mr_Fatalyst 4 days ago | 43 comments
8
Beyond has dropped “meat” from its name and expanded its high-protein drink lineplantbasednews.org
77 points by rmason 7 hours ago | 123 comments
9
In space, no one can hear you kernel panic (2020)increment.com
41 points by p0u4a 4 days ago | 3 comments
10
Show HN: Thermal Receipt Printers – Markdown and Web UIgithub.com
51 points by howlett 3 days ago | 14 comments
11
Why I love FreeBSDit-notes.dragas.net
381 points by enz 17 hours ago | 187 comments
12
Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB)gitclassic.com
29 points by heythisischris 4 days ago | 12 comments
13
Starlink Mini as a failoverjackpearce.co.uk
221 points by jkpe 20 hours ago | 170 comments
14
Canopy Height Maps v2ai.meta.com
19 points by tzury 4 days ago | 6 comments
15
AirPods Max 2apple.com
233 points by ssijak 15 hours ago | 413 comments
16
Polymarket gamblers threaten to kill me over Iran missile storytimesofisrael.com
1390 points by defly 16 hours ago | 899 comments
17
Language model teams as distributed systemsarxiv.org
76 points by jryio 11 hours ago | 33 comments
18
Jepsen: MariaDB Galera Cluster 12.1.2jepsen.io
6 points by aphyr 19 minutes ago | 0 comments
19
AnswerThis (YC F25) Is Hiringycombinator.com
1 point by ayush4921 7 hours ago | 0 comments
20
Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
71 points by ymarkov 12 hours ago | 54 comments
21
Home Assistant waters my plantsfinnian.io
259 points by finniananderson 5 days ago | 134 comments
22
Pyodide: a Python distribution based on WebAssemblygithub.com
13 points by tosh 3 days ago | 4 comments
23
The bureaucracy blocking the chance at a curewritingruxandrabio.com
106 points by item 1 days ago | 128 comments
24
Apideck CLI – An AI-agent interface with much lower context consumption than MCPapideck.com
126 points by gertjandewilde 13 hours ago | 107 comments
25
Lies I was told about collaborative editing, Part 2: Why we don't use Yjsmoment.dev
221 points by antics 4 days ago | 106 comments
26
Show HN: Claude Code skills that build complete Godot gamesgithub.com
195 points by htdt 12 hours ago | 123 comments
27
Corruption erodes social trust more in democracies than in autocraciesfrontiersin.org
679 points by PaulHoule 17 hours ago | 355 comments
28
Lazycut: A simple terminal video trimmer using FFmpeggithub.com
170 points by masterpos 16 hours ago | 53 comments
29
Kona EV Hackingtechno-fandom.org
126 points by AnnikaL 5 days ago | 69 comments