August 3, 2026
Karpathy Graduates the Pelican Benchmark, an LLM's Collatz Disproof Exposes Lean's Kernel Soundness Bug, NetBSD 11.0 Ships
KarpathyPelicanAI benchmarkLean
#llm
10 articles · All tags
📰 Digests
August 2, 2026
Cursor Hides Cost Data as Harness Token Use Varies 29x, NetBSD 11.0 Ships, RipGrep's AI Analysis Called Out, Ruby Central Controversy Deepens
CursorAI coding costsNetBSD 11.0RipGrep
July 25, 2026
Claude Opus 5 Debuts, Security Camera Embeds GitHub Token, Software Quality Anxiety Meets Open-Source AI Regulation Debate
Claude Opus 5open-weightLLMsecurity camera
July 17, 2026
Kimi K3 Tops HN · OnePlus Exits US & Europe · Linus's LLM Pitch Rejected
Kimi K3MoonshotOnePlusLM Studio
July 4, 2026
Startup Satire Dominates HN, Valve Open-Sources E-Ink Panel, Fable's Absurd 60% Cost Cut
Half-Baked ProductValvee-inkFable
June 28, 2026
DeepSeek Drops DSpark Paper, Anonymous Account Mass-Drops 0-Days, OpenRA Classic Reignited
DeepSeekDSpark0-dayOpenRA
📡 Events
July 20, 2026
China's AI Playbook: Giving Away the World's Smartest Models for Free
AILLMOpen SourceUS-China Competition
July 18, 2026
Linux's Creator Pitched AI — and Got Rejected by His Own People
LinuxLinus TorvaldsLLMOpen Source
July 17, 2026
Linus Torvalds Pitched AI Code Review to the Kernel Team — and Got a Flat 'No'
LinuxLinus TorvaldsLLMOpen Source
July 13, 2026
George Hotz: The Trillion-Dollar AI Valuation May Be a Mirage
AIValuationBusiness ModelLLM