High Signal Podcasts Evidence ledger
Method
Browse
← Back to evidence

Evidence receipt / recommendation

Published · transcript-backed

Likes MyPie.

30 Jun 2023 Lex Fridman Podcast #387 – George Hotz: Tiny Corp, Twitter, AI Safety, Self-Driving, GPT, AGI & God

“Now I like that. You know what does a good job at this? MyPie. I love MyPie. MyPie, this fancy type checker for Python.”

— George Hotz

Source trail

Everything needed to verify it.

Speaker
George Hotz
Attribution
Verified speaker
Claim type
recommendation
Recorded
30 Jun 2023
Publisher
Lex Fridman Podcast

Transcript context

…Yeah. Now I like that. You know what does a good job at this? MyPie. I love MyPie. MyPie, this fancy type checker for Python. And actually, Microsoft released one too, and it was like 60% false positives. MyPie is like 5% false positives. 95% of the time, it recognizes. I didn’t really think about that typing interaction correctly. Thank you, MyPie. So you type hinting, you like pushing the language towards being a typed language.…

Stored transcript either side of the excerpt. The highlighted words are the published quote; the surrounding text is unedited source, never generated.

Named in this claim

Books, apps, tools, and people.

Search evidence