#173 Susan Potter from distributed systems to functional verification

Susan took us from her maths studies to discovering C++ and deciding on following a career in computer science. We talked about her discovery of verification and functional programming and how it became her main interest. We spoke about distributed systems and how you can view organization structures through their lens as well.Here are the links from the show:https://www.twitter.com/SusanPotterhttps://www.linkedin.com/in/susanpotterhttps://www.susanpotter.netPractical TLA+ https://amzn.to/3fm...