#173 Susan Potter from distributed systems to functional verification
from Software Developers Journey Hosted by Timothée Bourguignon, Susan Potter
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/SusanPotter https://www.linkedin.com/in/susanpotter https://www.susanpotter.net Practical TLA+ https://amzn.to/3fmXKQX https://hillelwayne.com https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878 Edwin Brady - Idris: Programming with Dependent Types https://vimeo.com/83665028 Credits Cover Campfire Rounds by Blue Dot Sessions is licensed CC BY-NC-ND 4.0. Your host is Timothée (Tim) Bourguignon, more about him at timbourguignon.fr. Gift the podcast a rating on one of the major platforms https://devjourney.info/subscribe Support the podcast, support us on Patreon: https://bit.ly/devjpatreon Support the show
Embed this episode
What this episode covers
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/...
No transcript yet.