1
Kagi Small Webkagi.com
86 points by trueduke 56 minutes ago | 13 comments
2
Kagi Translate now supports LinkedIn Speak as an output languagetranslate.kagi.com
604 points by smitec 6 hours ago | 157 comments
3
Leanstral: Open-source agent for trustworthy coding and formal proof engineeringmistral.ai
572 points by Poudlardo 14 hours ago | 119 comments
4
The unlikely story of Teardown Multiplayerblog.voxagon.se
96 points by lairv 4 days ago | 14 comments
5
Building a Shellhealeycodes.com
9 points by ingve 58 minutes ago | 0 comments
6
Meta’s renewed commitment to jemallocengineering.fb.com
443 points by hahahacorn 17 hours ago | 194 comments
7
The “small web” is bigger than you might thinkkevinboone.me
439 points by speckx 18 hours ago | 186 comments
8
The American Healthcare Conundrumgithub.com
361 points by rexroad 18 hours ago | 314 comments
9
Every layer of review makes you 10x slowerapenwarr.ca
263 points by greyface- 7 hours ago | 146 comments
10
Sci-Fi Short Film “There Is No Antimemetics Division” [video]youtube.com
106 points by Anon84 4 days ago | 23 comments
11
Reverse-engineering Viktor and making it Open Sourcematijacniacki.com
16 points by zggf 3 hours ago | 4 comments
12
Gitana 18: the new flying Ultim trimaranboatnews.com
42 points by divbzero 4 days ago | 10 comments
13
US SEC preparing to scrap quarterly reporting requirementreuters.com
587 points by djoldman 11 hours ago | 317 comments
14
Grace Hopper's Revengethefuriousopposites.com
11 points by ashirviskas 1 hours ago | 6 comments
15
Pyodide: a Python distribution based on WebAssemblygithub.com
89 points by tosh 4 days ago | 24 comments
16
Beyond has dropped “meat” from its name and expanded its high-protein drink lineplantbasednews.org
137 points by rmason 14 hours ago | 300 comments
17
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)community.home-assistant.io
374 points by Vaslo 22 hours ago | 108 comments
18
Why I love FreeBSDit-notes.dragas.net
442 points by enz 23 hours ago | 216 comments
19
What CI looks like at a 100-person team (PostHog)mendral.com
10 points by shad42 5 days ago | 0 comments
20
Fatal Core Dump Gamerobopenguins.com
7 points by pabs3 4 days ago | 1 comment
21
Claude Tips for 3D Workdavesnider.com
93 points by snide 4 days ago | 19 comments
22
Monkey Island for Commodore 64 Ground Uppixeldust.se
137 points by aresant 7 hours ago | 51 comments
23
Starlink Mini as a failoverjackpearce.co.uk
262 points by jkpe 1 days ago | 198 comments
24
Show HN: Oxyde – Pydantic-native async ORM with a Rust coregithub.com
109 points by mr_Fatalyst 4 days ago | 60 comments
25
Show HN: Thermal Receipt Printers – Markdown and Web UIgithub.com
89 points by howlett 4 days ago | 34 comments
26
In space, no one can hear you kernel panic (2020)increment.com
61 points by p0u4a 4 days ago | 14 comments
27
AirPods Max 2apple.com
283 points by ssijak 21 hours ago | 474 comments
28
Polymarket gamblers threaten to kill me over Iran missile storytimesofisrael.com
1508 points by defly 23 hours ago | 948 comments
29
Lies I was told about collaborative editing, Part 2: Why we don't use Yjsmoment.dev
253 points by antics 4 days ago | 113 comments