#eu-altersverifikation

2 Artikel · Alle Tags

📰 Digests

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

July 1, 2026

Claude-Steganographie entfacht Vertrauenskrise, Anthropic dominiert HN-Frontpage mit Dreifachschlag

Claude CodeSteganographiesteganographyAnthropic