Chapter
The Gap Between Computer Science Theory and Pragmatic Implementation
23:25 - 28:55 (05:30)
The formal methods and computer science theory have made huge strides over the past two decades but there is still a gap between the theory and the practical aspects of implementing them in systems that people use due to the complexity of these systems.
Clips
The advancement in formal methods tools has helped improve the world of computer science theory, yet it only provides answers to a small subset of problems.
23:25 - 27:33 (04:07)
Computer Science Theory
Summary
The advancement in formal methods tools has helped improve the world of computer science theory, yet it only provides answers to a small subset of problems. The pragmatic implementation of these theories in actual systems that people use is the real challenge.
ChapterThe Gap Between Computer Science Theory and Pragmatic Implementation
Episode#192 – Charles Hoskinson: Cardano
PodcastLex Fridman Podcast
The financial incentives in the tech industry sometimes result in the people who create systems that fail getting paid upfront.
27:33 - 28:55 (01:22)
Tech Industry
Summary
The financial incentives in the tech industry sometimes result in the people who create systems that fail getting paid upfront. This creates a need for new tools and protocols to ensure the reliability of the system.