August 3, 2026
KarpathyがPelicanベンチマークの卒業を宣言、LeanカーネルのsoundnessバグがLLMによるCollatz予想の反証で発覚、NetBSD 11.0リリース
KarpathyPelicanAIベンチマークLean
#llm
10 件 · すべてのタグ
📰 Digests
August 2, 2026
Cursorがコスト情報を削除、harness間でトークン消費に29倍差、NetBSD 11.0リリース、RipGrep musl segfaultのAI分析をカーネル開発者が名指し、Ruby Centralの論争が続く
CursorAIプログラミングのコストNetBSD 11.0RipGrep
July 25, 2026
Claude Opus 5発表、Token漏洩、品質不安、OSS規制
Claude Opus 5オープンウェイトLLM監視カメラ
July 17, 2026
Kimi K3 が HN 首位 · OnePlus が米欧から撤退 · Linus の LLM 推しも拒絶
Kimi K3MoonshotOnePlusLM Studio
July 4, 2026
「Half-Baked Product」がHNを席巻、Valveがe-inkパネルをオープンソース化、Fableのコストを60%削減する荒唐無稽な手法
Half-Baked ProductValvee-inkFable
June 28, 2026
DeepSeekがDSpark論文を発表、匿名アカウントが0-dayを大量公開、OpenRAでクラシックRTSが再燃
DeepSeekDSpark0-dayOpenRA
