-
140
Kagi Small Web
(kagi.com)
-
656
Kagi Translate now supports LinkedIn Speak as an output language
(translate.kagi.com)
-
23
Building a Shell
(healeycodes.com)
-
23
Grace Hopper's Revenge
(thefuriousopposites.com)
-
585
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
-
109
The unlikely story of Teardown Multiplayer
(blog.voxagon.se)
-
31
Reverse-engineering Viktor and making it Open Source
(matijacniacki.com)
-
445
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
-
446
The “small web” is bigger than you might think
(kevinboone.me)
-
371
The American Healthcare Conundrum
(github.com)
-
120
Sci-Fi Short Film “There Is No Antimemetics Division” [video]
(youtube.com)
-
17
What CI looks like at a 100-person team (PostHog)
(mendral.com)
-
276
Every layer of review makes you 10x slower
(apenwarr.ca)
-
596
US SEC preparing to scrap quarterly reporting requirement
(reuters.com)
-
7
Gummy Geometry
(newkrok.github.io)
-
43
Gitana 18: the new flying Ultim trimaran
(boatnews.com)
-
95
Pyodide: a Python distribution based on WebAssembly
(github.com)
-
376
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
(community.home-assistant.io)
-
11
Fatal Core Dump Game
(robopenguins.com)
-
140
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
-
447
Why I love FreeBSD
(it-notes.dragas.net)
-
98
Claude Tips for 3D Work
(davesnider.com)
-
113
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
(github.com)
-
268
Starlink Mini as a failover
(jackpearce.co.uk)
-
143
Monkey Island for Commodore 64 Ground Up
(pixeldust.se)
-
92
Show HN: Thermal Receipt Printers – Markdown and Web UI
(github.com)
-
AnswerThis (YC F25) Is Hiring
(ycombinator.com)
job -
65
In space, no one can hear you kernel panic (2020)
(increment.com)
-
284
AirPods Max 2
(apple.com)
-
1516
Polymarket gamblers threaten to kill me over Iran missile story
(timesofisrael.com)