Signin

Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds

linux.conf.au • September 30, 2021

Video Thumbnail

You May Also Like

linux.conf.au

About

No channel description available.

Latest Posts

Video Thumbnail

"The early days of Unix at Bell Labs" - Brian Kernighan (LCA 2022 Online)

linux.conf.au

Video Thumbnail

The Tragedy of systemd

linux.conf.au

Video Thumbnail

"What UNIX Cost Us" - Benno Rice (LCA 2020)

linux.conf.au

Video Thumbnail

"NTFS really isn't that bad" - Robert Collins (LCA 2020)

linux.conf.au