Philip Wadler

Philip Wadler discusses the deep connection between logic and programming, revealing how every program corresponds to a proof. The podcast explores historical models of computation, Godel's influence, and challenges in defining calculable processes. It also delves into lambda calculus, Turing machines, comedy in programming, and the evolution of computing from military funding to logical systems.

Philip Keebler, a senior electrical power engineer at PBE Engineers, shares his expertise on grounding and power quality. He explains how a stable ground acts as a backup neutral to ensure minimal voltage fluctuations. Common grounding mistakes and code limits are highlighted, along with an engaging volleyball-net analogy that illustrates the importance of solid grounding connections. James also addresses the impact of harmonic currents on voltage distortion and the risks of ground loops on signal integrity, offering practical tips for verifying grounding effectiveness.