Jonathan Blow on formally proving software

Jonathan Blow's Twitch: / j_blow
Tip me: ko-fi.com/blowfan
Programmer and game designer Jonathan Blow (Braid, The Witness) gets asked about formally proving software. It's related to formal verification of software which involves proving the correctness of a system with respect to a certain formal specification. Other subjects that get brought up during the video: Rust borrow checker, type theory, denotational semantics, operational semantics, halting problem.