Talks
-
-
A Brief Introduction to Esoteric Languages
-
What We Can Learn From Software History
Deconstruct 2019. As Deconstruct is a single-track conference, this was my very first talk where someone showed up. -
What We Know We Don't Know
GOTO Chicago 2019. Walking into a large enterprise conference and shouting "PROGRAMMING SUX" was probably a bad idea. -
Designing Distributed Systems with TLA+
CodeMesh and Øredev 2018, YOW! 2019. Notable for both talks starting late because my computer broke twice in a row. -
Beyond Unit Tests
Pycon 2018. I ranted about property testing and contracts. Eventually someone realized I wasn't scheduled to speak, was not signed up for the conference, did not actually know any Python, and was possibly illiterate. They never found the real speaker's body. -
Tackling Concurrency Bugs with TLA+
StrangeLoop 2017. Got me started talking about TLA+ in public. The Strangeloop organizers would like to apologize for that.