We get into the process of working on and with formal protocol specifications, something Andy is familiar with from his work on Matrix. https://linuxdevtime.com/linux-dev-time-episode-152/ #podcast #linux #development