“I was with 2,000 people from 45 countries. We were translating 4 languages simultaneously for a program”
♫
Said on Tony Robbins Podcast Daily
“I can translate everything I've done into this programming language called Lean, so that when somebody says... I can say, funny you should say that, because the computer disagrees with.”
The Diary Of A CEO with Steven Bartlett · Eric Weinstein: The Secret Alien Programs Nobody Is Talking About
Play from 1:27:44
1:27:44
Audio streams from the publisher’s own feed. Verbatim does not host or copy it.
What was described
translated his mathematical work into the Lean programming language to formalize it for AI verification
Said nearby on the same subject
“You have to do it while you're uploading a video… tap more options… accessibility and translation… select the languages you want”
EM
Elizabeth Marberry
Social Media Marketing Podcast ·
“I decided to put it on Netflix because it immediately put me in 172 countries and they translated it for all those languages.”
♫
Said on Tony Robbins Podcast Daily
“We had a hypothesis about where to look for bugs… focused on device drivers… then differential fuzzing… ported to Rust using an LLM… formal verification.”
♫
Said on "The Cognitive Revolution"
Moments like this, every Monday
The strongest new moments on your topics, in the speakers' own words. Free for three topics.
No card. No password. One-click unsubscribe.
Track a competitor?
Pro watches up to 25 names or phrases and emails you the morning after they are said.
See Pro, $29 a monthVerbatim quotes a short extract and links to the episode; the episode belongs to its publisher. Remove a show.