Talks

Posted on 2022, Nov 04

What We Know We Don't Know: Empirical Software Engineering
Posted on 2021, May 16

A Brief Introduction to Esoteric Languages
Posted on 2019, Jul 09

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.
Posted on 2019, Apr 28

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.
Posted on 2018, Dec 11

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.
Posted on 2018, May 14

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.
Posted on 2017, Sep 28

Tackling Concurrency Bugs with TLA+

StrangeLoop 2017. Got me started talking about TLA+ in public. The Strangeloop organizers would like to apologize for that.