Skip to Content

Talks

  • Posted on

    Designing Distributed Systems with TLA+

    CodeMesh and Øredev 2018. Notable for both talks starting late because my computer broke twice in a row. I've since been banned from Sweden for 'smuggling in a wizard's curse.'
  • Posted on

    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

    Tackling Concurrency Bugs with TLA+

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