High Signal Podcasts Evidence ledger
Method
Browse
How the evidence works

Public evidence record

Guillaume Lample

Published podcast speaker

Claims
9
Episodes
1
Shows
1
Named items
0

Claim ledger

What Guillaume said.

4 transcript-backed records

01 / belief

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.

“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.”
Publisher
Latent Space

03 / belief

The thing, there’s a thing that would be interesting here is that since, indeed I’ve been so much sure that has been done in the vision community compared to radio dys, stomach, I think there are so many long infra Yeah.

“The thing, there’s a thing that would be interesting here is that since, indeed I’ve been so much sure that has been done in the vision community compared to radio dys, stomach, I think there are so many long infra Yeah.”
Publisher
Latent Space

04 / belief

Good, highly efficient as well. And I think on a project maybe there, I think companies are going to take is to have a coverage general model that will do a bit of everything.

“Good, highly efficient as well. And I think on a project maybe there, I think companies are going to take is to have a coverage general model that will do a bit of everything.”
Publisher
Latent Space
Search evidence