Explores key figures and movements in modern architecture, including Bauhaus and urban planning projects, highlighting the impact of historical events on architectural design.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.