PodParley PodParley
PodParley
#173 Susan Potter from distributed systems to functional verification

EPISODE · Oct 19, 2021 · 43 MIN

#173 Susan Potter from distributed systems to functional verification

from Software Developers Journey · host 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/SusanPotterhttps://www.linkedin.com/in/susanpotterhttps://www.susanpotter.netPractical TLA+ https://amzn.to/3fmXKQXhttps://hillelwayne.comhttps://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878Edwin Brady - Idris: Programming with Dependent Types https://vimeo.com/83665028CreditsCover 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/subscribeSupport the podcast, support us on Patreon: https://bit.ly/devjpatreonSupport the show

NOW PLAYING

#173 Susan Potter from distributed systems to functional verification

0:00 43:05

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

fuzz – Swamp Jacuzzi Biggie Boutte An intoxicating wild mind trip through the past, present, and future realms of rock n roll. A euphoric cocktail of spiritual awakening through fuzz and focal points. A new dawn taking the past into the future and the future towards comforts unknown. A yesterday's tomorrow. That time is now. So free your soul and expand your mind. The key to the gates is through this sonic elixir. Administer the medicine, fasten your seatbelts and hold on tight. We have a long journey ahead. But if you want to rock it, you know it's in the pocket. You need Electrophonic Tonic. It could save your soul. Ya dig? TomCattt Thomas Patton From the beginning music has prowled with accordion lessons at a young age, followed by sax, blues harp and more recently piano, vocals, song writing and recording. Thomas Patton (AKA TomCattt) credits his mother for his stage name "TomCattt” as she was big on nick names for those she held close to her heart. TomCattt's music is best described as easy listening and sometimes retro, yet with a contemporary mix and feel. Accompanied by the creative tracks of a number of gifted musicians, his first album Hiiyaaaaaaaaaaa inspires imagination and finds a way to impress with a unique vocal sound, compelling harmony and gripping melody. The lyrical content is in fact a living reflection of this artists emotional journey that followed leaving love, finding a new love only to lose love once again. Hiiyaaaaaaaaaaa was released on June 1st, 2013 and all are invited to Soundcloud, Bandcamp, ReverbNation and Cdbaby where "A Question" is free download and to enjoy TomCattt's website tomcattt.com. PodQuesting Dwight J Randolph- WolfShield Media PodQuesting: -By WolfShield Media and Dwight J RandolphJoin us on an exciting journey to master the world of fiction podcasting! At PodQuesting, we document our quest to improve and innovate, sharing valuable insights, strategies, and behind-the-scenes tips along the way. Whether you're an experienced podcaster or just starting your first show, our podcast is your go-to resource for everything podcasting.Discover practical advice, creative techniques, and lessons from our own experiences as we explore the ever-evolving podcasting landscape. Ready to level up your skills and embark on this adventure with us? Tune in and join the quest!Have questions or feedback? Reach out to us at [email protected] and visit our website:WolfShield.Media Kaizen Blueprint Aldo Chandra "Kaizen" is a Japanese term for continuous improvement. This podcast provides a blueprint to learn about health, wealth, relationships and everything else in between. Through our podcast, we strive to inspire, educate, and motivate our audience to cultivate a mindset of lifelong learning, productivity, and personal development. By sharing insights, strategies, and practical tips, we aim to guide listeners on their journey towards realizing their fullest potential, fostering success, and creating lasting positive change.
URL copied to clipboard!