mitchell vitez blog music art media dark mode


At work, we recently held an “unconference” where I gave a talk about various systems of logic to a group of engineers. See the slides below.

The talk lasted about an hour and I only spent a couple hours preparing, which was a pretty unusual challenge for me. In retrospect, the breadth of content was way too ambitious (there are entire college courses on just propositional logic) but it was fun to try condensing this stuff so much.