Falsehoods Programmers Believe About Dogs

Modeling Missing Requirements

Probabilistic Modeling with PRISM

Modeling Adversaries with TLA+

At least one Vim trick you might not know

Alan Kay Did Not Invent Objects

Finding Property Tests

Metamorphic Testing

Using Formal Methods at Work

Formally Specifying UIs