Skip to Content

Talks

  • 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.