It's worth checking out Peter Sewell's talks in this area. A classic is https://media.ccc.de/v/31c3_-_6574_-_en_-_saal_1_-_201412301245_-_why_are_computers_so_

It's worth checking out Peter Sewell's talks in this area. A classic is 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...