[video](http://mirror.linux.org.au/pub/linux.conf.au/2017/Type_driven_configuration_management_with_Propellor.webm) Also see this writeup in [Linux Weekly News](https://lwn.net/Articles/713653/)