Charles Hoskinson
Person
Founder of Cardano, mentioned for his interest in automated theorem proving and collaboration with Wolfram on blockchain technologies.
Mentioned in 2 videos
Videos Mentioning Charles Hoskinson
Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234
Lex Fridman
Founder of Cardano, mentioned for his interest in automated theorem proving and collaboration with Wolfram on blockchain technologies.
Vitalik Buterin: Ethereum 2.0 | Lex Fridman Podcast #188
Lex Fridman
Co-founder of Ethereum and the founder of Cardano, whose approach to academic rigor in blockchain development is contrasted with Ethereum's more pragmatic nature.