Skip to Content


  • Posted on

    Beyond Unit Tests

    Pycon 2018. I ranted about property testing and contracts. Then I kept ranting, and ranting, and ranting.
  • 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.