August 3, 2026
Karpathy erklärt Pelican-Benchmark für abgeschlossen, Soundness-Bug im Lean-Kern durch LLM-Collatz-Beweisversuch aufgedeckt, NetBSD 11.0 veröffentlicht
KarpathyPelicanKI-BenchmarkLean
#llm
9 Artikel · Alle Tags
📰 Digests
August 2, 2026
Cursor entfernt Kosten-Infos, Harness-Verbrauch variiert um das 29-Fache, NetBSD 11.0 veröffentlicht, AI-Analyse zum RipGrep-Segfault gerügt, Ruby-Central-Kontroverse
CursorKI-ProgrammierungskostenNetBSD 11.0RipGrep
July 25, 2026
Claude Opus 5, GitHub-Token, Softwarequalität & Open-Source-KI
Claude Opus 5Open-WeightLLMÜberwachungskamera
July 17, 2026
Kimi K3 an HN-Spitze · OnePlus zieht sich aus USA & Europa zurück · Linus' LLM-Vorschlag abgelehnt
Kimi K3MoonshotOnePlusLM Studio
July 4, 2026
Startup-Satire erobert HN, Valve öffnet e-ink-Panel, der absurde Fable-Kosten-Hack
Half-Baked ProductValvee-inkFable
June 28, 2026
DeepSeek veröffentlicht DSpark-Paper, anonymer Account streut massenhaft 0-Days, OpenRA lässt Klassiker wieder aufleben
DeepSeekDSpark0-dayOpenRA
📡 Events
July 18, 2026
Linux-Gründer wirbt für KI — und wird von den eigenen Leuten abgewiesen
LinuxLinus TorvaldsLLMOpen Source
July 17, 2026
Linux-Gründer wirbt für KI-gestütztes Programmieren – und erntet vor Ort eine Absage
LinuxLinus TorvaldsLLMOpen Source
July 13, 2026
George Hotz: Die Billionen-Bewertung der KI-Firmen könnte eine Illusion sein
KIBewertungGeschäftsmodellLLM