Tubidy
    Jonathan Blow on formally proving software

    Jonathan Blow on formally proving software

    08:46 |
    Download MP3