Here are the talks that I gave in various events.

CppCon 2019: “Make impossible state unrepresentable”

A lighting talk on how to design data and types in C++ to leverage the static type system so that invariants breaking becomes impossible in certain instances.

Update 2019-10-26: I wrote a more detailed blog post to discuss this issue.

Date: 2019-9-18