Semantic Insights Unveiled
Daniel and Peter explore the evolution of semantic engineering, reflecting on Peter's early work and critiques of traditional denotational semantics. Peter shares his journey from a math major to discovering the beauty of domain theory, highlighting the challenges in characterizing computable functions. Their conversation delves into how these foundational ideas influence modern tools like LLVM and PyTorch, revealing the ongoing relevance of semantics in computer science.In this clip
From this podcast
The Gradient
Peter Lee: Computing Theory and Practice, and GPT-4's Impact
Related Questions