type checking
2 episodes mention this concept
lexfridmanNov 11, 2019Bjarne Stroustrup on C++ Concepts: Design, Evolution, and the Quest for Expressive, Performant Genericity
TechnologyC++ ConceptsTemplate ParametersCompile-time PredicatesGeneric Programming- lexfridmanAug 5, 2019
George Hotz on Hacking Reality, Autonomous AI, and the Evolution of Programming
TechnologySimulation hypothesisUnfalsifiable systemsVirtual machines (VMs)Dependently typed languages
Knowledge Graph
Related concepts — line thickness indicates connection strength. Click any node to explore.
Want to explore how this connects to concepts you choose? Try Nexus →