#192 – Charles Hoskinson: Cardano

Charles Hoskinson is the founder of Cardano, co-founder of Ethereum, a mathematician, and a farmer. Please support this podcast by checking out our sponsors: - Gala Games: https://gala.games/lex - Allform: https://allform.com/lex to get 20% off - Indeed: https://indeed.com/lex to get $75 credit - ExpressVPN: https://expressvpn.com/lexpod and use code LexPod to get 3 months free - Eight Sleep: https://www.eightsleep.com/lex and use code LEX to get special savings EPISODE LINKS: Charles's Twitter: https://twitter.com/IOHK_Charles Charles's YouTube: https://www.youtube.com/user/charleshoskinson Cardano Website: https://cardano.org/ IOHK Website: https://iohk.io/ PODCAST INFO: Podcast website: https://lexfridman.com/podcast Apple Podcasts: https://apple.co/2lwqZIr Spotify: https://spoti.fi/2nEwCF8 RSS: https://lexfridman.com/feed/podcast/ YouTube Full Episodes: https://youtube.com/lexfridman YouTube Clips: https://youtube.com/lexclips SUPPORT & CONNECT: - Check out the sponsors above, it's the best way to support this podcast - Support on Patreon: https://www.patreon.com/lexfridman - Twitter: https://twitter.com/lexfridman - Instagram: https://www.instagram.com/lexfridman - LinkedIn: https://www.linkedin.com/in/lexfridman - Facebook: https://www.facebook.com/lexfridman - Medium: https://medium.com/@lexfridman OUTLINE: Here's the timestamps for the episode. On some podcast players you should be able to click the timestamp to jump to that time. (00:00) - Introduction (09:12) - What programming language is the simulation written in? (14:17) - Favorite philosophers (23:18) - Theory vs engineering in cryptocurrency (34:27) - What programming languages should everyone learn (42:42) - Haskell and beyond (46:26) - Plutus: Cardano's smart contract platform based on Haskell (50:53) - What is a blockchain? (55:05) - Hybrid smart contracts (1:00:55) - Proof of work vs proof of stake (1:09:42) - Cardano's proof of stake consensus algorithm (1:20:14) - What is Cardano? (1:28:55) - Ca