2783 点記事準備中
Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
4530 点記事準備中
Why I love FreeBSD (dragas.net)
6425 点記事準備中
My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
9667 点記事準備中
Stop Sloppypasta (stopsloppypasta.ai)
11291 点記事準備中
Home Assistant waters my plants (finnian.io)
12324 点記事準備中
Starlink Mini as a failover (jackpearce.co.uk)
13322 点記事準備中
AirPods Max 2 (apple.com)
14679 点記事準備中
MoD sources warn Palantir role at heart of government is threat to UK security (thenerve.news)
15544 点記事準備中
How I write software with LLMs (stavros.io)
18134 点記事準備中
Kona EV Hacking (techno-fandom.org)
20503 点記事準備中
US Job Market Visualizer (karpathy.ai)
22219 点記事準備中
Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
26425 点記事準備中
Nasdaq's Shame (keubiko.substack.com)
29137 点記事準備中