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)
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)
26425 分尚无解读
Nasdaq's Shame (keubiko.substack.com)
29137 分尚无解读