Evidence receipt / belief
Published · transcript-backedGuillaume Lample: belief
30 Mar 2026 Latent Space Mistral: Voxtral TTS, Forge, Leanstral, & what's next for Mistral 4 — w/ Pavan Kumar Reddy & Guillaume Lample
“Life depend on this, but it’s very rare that people formally verify the correctness of their software. But I think one of the reasons for this is simply that it’s just hard to do.”
Source trail
Everything needed to verify it.
- Speaker
- Guillaume Lample
- Attribution
- Verified speaker
- Claim type
- belief
- Recorded
- 30 Mar 2026
- Publisher
- Latent Space
Transcript context
…like things [00:38:00] where they absolutely want to be sure. Life depend on this, but it’s very rare that people formally verify the correctness of their software. But I think one of the reasons for this is simply that it’s just hard to do. Are you think of TLA plus? It’s the language that some people do for software verification? No. That people use in a ference, but but yeah, it’s the reason I think why people don’t use it more and why this industry is not as big as could be is because it’s very hard. But now with cutting edges that are there, it’s going to be very different.…
Stored transcript either side of the excerpt. The highlighted words are the published quote; the surrounding text is unedited source, never generated.