Peter Sewell has talked about "underpinning the foundations" e.g. [1], but that's not a performance like [2], [3]. [1] https://www.youtube.com/watch?v=ptSUKbKe

Peter Sewell has talked about "underpinning the foundations" e.g. [1], but that's not a performance like [2], [3]. [1] https://www.youtube.com/watch?v=ptSUKbKe4c4 https://www.youtube.com/watch?v=ptSUKbKe4c4 [2] https://media.ccc.de/v/31c3_-_6574_-_en_-_saal_1_-_201412301245_-_why_are_computers_so_and_what_can_we_do_about_it_-_peter_sewell https://media.ccc.de/v/31c3_-_6574_-_en_-_saal_1_-_201412301... [3] https://media.ccc.de/v/35c3-9647-taming_the_chaos_can_we_build_systems_that_actually_work https://media.ccc.de/v/35c3-9647-taming_the_chaos_can_we_bui...