Susan Potter's guest appearances

Susan Potter

Functional Geekery

Software Developer's Journey

WeHaveAVoice

Abortion Hurts God Heals

Renewing Your Motherhood

Jessica Kerr

Julie Moronuki

Trisha Gee

Steve Gordon

Chris Coyier

Ines Montani

Dan Friedman

Peyton Jones

Jerome Hardaway

Wes Bos

Katrina Owen

Dave Thomas

Chris Allen

Colin Barrett

Carl Franklin

OwlTail

In this episode you will hear my mom, Susan Potter, and I discuss what it means to daily renew our minds and why it is so important as Christian women, wives and mamas. It all started with godliness. It isn't about what we look like on the outside but what is happening on the inside. We discuss what it means to be transformed by God and His Word. You will hear tips and encouragement on how to actively daily renew your minds. We hope and pray this encourages you to truly allow the Holy Spirit to work in your hearts and minds. Love you mamas and praying for you!  If you want to connect with me: Katie Ruga || Renewing Your Motherhood on Instagram https://www.instagram.com/katielruga/ Facebook Katie Ruga | Facebook Shoot me an email at renewingyourmotherhood@gmail.com

In this episode you will hear my mom, Susan Potter, and I discuss what it means to daily renew our minds and why it is so important as Christian women, wives and mamas. It all started with godliness. It isn't about what we look like on the outside but what is happening on the inside. We discuss what it means to be transformed by God and His Word. You will hear tips and encouragement on how to actively daily renew your minds. We hope and pray this encourages you to truly allow the Holy Spirit to work in your hearts and minds. Love you mamas and praying for you! If you want to connect with me: Katie Ruga || Renewing Your Motherhood on Instagram <a href="https://www.instagram.com/katielruga/" rel="nofollow" target="_blank">https://www.instagram.com/katielruga/</a> Facebook <a href="https://www.facebook.com/katie.potter.169/" rel="nofollow" target="_blank">Katie Ruga | Facebook</a> Shoot me an email at renewingyourmotherhood@gmail.com

#2: Renewing Your Mind with 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

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:<ul><li><a href="https://www.twitter.com/SusanPotter" rel="nofollow" target="_blank">https://www.twitter.com/SusanPotter</a></li><li><a href="https://www.linkedin.com/in/susanpotter" rel="nofollow" target="_blank">https://www.linkedin.com/in/susanpotter</a></li><li><a href="https://www.susanpotter.net" rel="nofollow" target="_blank">https://www.susanpotter.net</a></li><li>Practical TLA+ <a href="https://amzn.to/3fmXKQX" rel="nofollow" target="_blank">https://amzn.to/3fmXKQX</a></li><li><a href="https://hillelwayne.com" rel="nofollow" target="_blank">https://hillelwayne.com</a></li><li><a href="https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878" rel="nofollow" target="_blank">https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878</a></li><li>Edwin Brady - Idris: Programming with Dependent Types <a href="https://vimeo.com/83665028" rel="nofollow" target="_blank">https://vimeo.com/83665028</a></li></ul>Credits<ul><li>Cover <a href="https://freemusicarchive.org/music/Blue_Dot_Sessions/Zander/Campfire_Rounds" rel="nofollow" target="_blank">Campfire Rounds</a> by <a href="https://freemusicarchive.org/music/Blue_Dot_Sessions#contact-artist" rel="nofollow" target="_blank">Blue Dot Sessions</a> is licensed <a href="http://creativecommons.org/licenses/by-nc-nd/4.0/" rel="nofollow" target="_blank">CC BY-NC-ND 4.0</a>.</li><li>Your host is Timothée (Tim) Bourguignon, more about him at <a href="http://timbourguignon.fr/" rel="nofollow" target="_blank">timbourguignon.fr</a>.</li><li>Gift the podcast a rating on one of the major platforms <a href="https://devjourney.info/subscribe.html" rel="nofollow" target="_blank">https://devjourney.info/subscribe</a></li><li>Support the podcast, support us on <a href="http://bit.ly/2yBfySB" rel="nofollow" target="_blank">Patreon</a>: <a href="https://bit.ly/devjpatreon" rel="nofollow" target="_blank">https://bit.ly/devjpatreon</a></li></ul><a href="https://www.buzzsprout.com/190346/support" rel="payment nofollow" target="_blank">Support the show</a>

#173 Susan Potter from distributed systems to functional verification

#HuntingtonsDisease @iHeartRadio @Spreaker

#WeHaveAFace Canada! Introducing Dr. Susan Potter!

In this episode I talk with Susan Potter.  We talk her introduction to Functional Programming, Haskell, Erlang, reasoning about code, Nix and NixOS, reasonable deployments and environments, and more. Our Guest, Susan Potter @SusanPotter on Twitter Susan on LinkedIn Susan’s company Announcements Compose Melbourne is a new functional programming conference focused on developing the community and bringing typed functional programming to a wider audience.  Visit www.composeconference.org/ to find out more. ElixirConf is taking place August 31st through September 2nd in Orlando, Florida.  Visit http://www.elixirconf.com to register and find out more. Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out  2016.fullstackfest.com to find out more. PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconference events at Strange Loop in Saint Louis, Missouri on September 15th. Keep an eye out for updates on pwlconf.org. The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering. Lambda World will be taking place September 30th &amp; October 1st, 2016.  Lambda.World is the longest functional programming conference in Spain and Portugal and one of the biggest in Europe.  Visit www.lambda.world to find out more and to register. The 2016 edition of ScalaIO will take place in Lyon, France, on 27th and 28th of October. Visit http://scala.io/ for more information and to register. CodeMesh is taking place the 3rd and 4th of November with tutorials on the 2nd of November.  Tickets are available now, but they are going fast.  Visit codemesh.io to register and submit your talk. Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more. If you have a conference related to functional programming, contact me, and I will be happy to announce it. Topics About Susan Reasonability of software and deployment environments Susan’s introduction to Functional Programming Java head and Python meta-programming Inheriting a Haskell code base Picking up Haskell 10 years ago and learning resources at the time Cabal What about Haskell clicked, or didn’t click, back then Algebraic Data Types Sum and Product types Recursive data structures Higher order types and generic types Erlang Period of enlightenment about isolation Allowing things to fail How to signify “failures”/errors in Haskell vs Erlang Thinking about operational semantics Scala scalaz Understanding the separation of concerns Garrett Smith on Episode 56 Alignment of Erlang and thinking about operational side of applications Typed based reasoning Type specs in Erlang The Dialyzer Cloud Haskell Reasoning using types or supervision trees in regards to error handling NixOS Package manager, GNU/Linux distribution, and build expression language Per user based configuration Multiple versions of JVM SDKs Using Nix with Continuous Integration environments Personal mission of reasonability of systems Arrows Kleisli Arrows Railway oriented programming Talk by John De Goes on Free structures Aaron Levin’s blog post on the van Laarhoven encoding of free monads Extra credit for extensible effects with the Eff monad as an alternative to monad transformers Short typed functional programming in infrastructure engineering Getting started in Nix and NixOS Lethalman’s Nix pills blog series Nix Cookbook Upcoming talks London Scala User Group (LSUG), London (England) – 2nd August 2016 Strangeloop, St. Louis, MO – Sept 2016 Reactive Summit, Austin, TX – Oct 2016 Reasoning about your code As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Susan Potter. We talk her introduction to Functional Programming, Haskell, Erlang, reasoning about code, Nix and NixOS, reasonable deployments and environments, and more. <h2>Our Guest, Susan Potter</h2> <a href="https://twitter.com/SusanPotter" rel="noopener noreferrer nofollow" target="_blank">@SusanPotter</a> on Twitter <a href="https://linkedin.com/in/susanpotter" rel="noopener noreferrer nofollow" target="_blank">Susan on LinkedIn</a> <a href="http://referentiallabs.com/" rel="noopener noreferrer nofollow" target="_blank">Susan’s company</a> <h3>Announcements</h3> Compose Melbourne is a new functional programming conference focused on developing the community and bringing typed functional programming to a wider audience. Visit <a href="http://www.composeconference.org/" rel="noopener noreferrer nofollow" target="_blank">www.composeconference.org/</a> to find out more. ElixirConf is taking place August 31st through September 2nd in Orlando, Florida. Visit <a href="ElixirConf is taking place August 31st through September 2nd in Orlando, Florida." rel="noopener noreferrer nofollow" target="_blank">http://www.elixirconf.com</a> to register and find out more. Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out <a href="https://2016.fullstackfest.com/" rel="noopener noreferrer nofollow" target="_blank">2016.fullstackfest.com</a> to find out more. PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconference events at Strange Loop in Saint Louis, Missouri on September 15th. Keep an eye out for updates on <a href="http://pwlconf.org" rel="noopener noreferrer nofollow" target="_blank">pwlconf.org</a>. The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when <a href="http://www.erlang-factory.com/euc2016" rel="noopener noreferrer nofollow" target="_blank">registering</a>. Lambda World will be taking place September 30th &amp; October 1st, 2016. Lambda.World is the longest functional programming conference in Spain and Portugal and one of the biggest in Europe. Visit <a href="http://www.lambda.world" rel="noopener noreferrer nofollow" target="_blank">www.lambda.world</a> to find out more and to register. The 2016 edition of ScalaIO will take place in Lyon, France, on 27th and 28th of October. Visit <a href="http://scala.io/" rel="noopener noreferrer nofollow" target="_blank">http://scala.io/</a> for more information and to register. CodeMesh is taking place the 3rd and 4th of November with tutorials on the 2nd of November. Tickets are available now, but they are going fast. Visit <a href="http://www.codemesh.io" rel="noopener noreferrer nofollow" target="_blank">codemesh.io</a> to register and submit your talk. Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit <a href="http://www.destination.codes/" rel="noopener noreferrer nofollow" target="_blank">http://www.destination.codes/</a> to find out more. If you have a conference related to functional programming, contact me, and I will be happy to announce it. <h3>Topics</h3> About Susan Reasonability of software and deployment environments Susan’s introduction to Functional Programming Java head and Python meta-programming Inheriting a <a href="https://www.haskell.org/" rel="noopener noreferrer nofollow" target="_blank">Haskell</a> code base Picking up Haskell 10 years ago and learning resources at the time <a href="https://www.haskell.org/cabal/" rel="noopener noreferrer nofollow" target="_blank">Cabal</a> What about Haskell clicked, or didn’t click, back then Algebraic Data Types Sum and Product types Recursive data structures Higher order types and generic types <a href="http://www.erlang.org/" rel="noopener noreferrer nofollow" target="_blank">Erlang</a> Period of enlightenment about isolation Allowing things to fail How to signify “failures”/errors in Haskell vs Erlang Thinking about operational semantics <a href="http://www.scala-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Scala</a> <a href="https://scalaz.github.io/scalaz/#scaladoc" rel="noopener noreferrer nofollow" target="_blank">scalaz</a> Understanding the separation of concerns <a href="https://www.functionalgeekery.com/episode-56-garrett-smith/" rel="noopener noreferrer nofollow" target="_blank">Garrett Smith on Episode 56</a> Alignment of Erlang and thinking about operational side of applications Typed based reasoning <a href="http://erlang.org/doc/reference_manual/typespec.html" rel="noopener noreferrer nofollow" target="_blank">Type specs</a> in Erlang <a href="http://erlang.org/doc/man/dialyzer.html" rel="noopener noreferrer nofollow" target="_blank">The Dialyzer</a> <a href="https://haskell-distributed.github.io/" rel="noopener noreferrer nofollow" target="_blank">Cloud Haskell</a> Reasoning using types or supervision trees in regards to error handling <a href="http://nixos.org/nixos/" rel="noopener noreferrer nofollow" target="_blank">NixOS</a> Package manager, GNU/Linux distribution, and build expression language Per user based configuration Multiple versions of JVM SDKs Using Nix with Continuous Integration environments Personal mission of reasonability of systems Arrows <a href="https://wiki.haskell.org/Arrow_tutorial" rel="noopener noreferrer nofollow" target="_blank">Kleisli Arrows</a> <a href="https://fsharpforfunandprofit.com/posts/recipe-part2/" rel="noopener noreferrer nofollow" target="_blank">Railway oriented programming</a> <a href="https://www.youtube.com/watch?v=H28QqxO7Ihc" rel="noopener noreferrer nofollow" target="_blank">Talk by John De Goes on Free structures</a> <a href="http://aaronlevin.ca/post/136494428283/extensible-effects-in-the-van-laarhoven-free-monad" rel="noopener noreferrer nofollow" target="_blank">Aaron Levin’s blog post on the van Laarhoven encoding of free monads</a> <a href="http://okmij.org/ftp/Haskell/extensible/" rel="noopener noreferrer nofollow" target="_blank">Extra credit for extensible effects with the Eff monad as an alternative to monad transformers</a> <a href="http://typed.funops.co/" rel="noopener noreferrer nofollow" target="_blank">Short typed functional programming in infrastructure engineering</a> Getting started in Nix and NixOS <a href="http://lethalman.blogspot.com/2014/07/nix-pill-1-why-you-should-give-it-try.html" rel="noopener noreferrer nofollow" target="_blank">Lethalman’s Nix pills blog series</a> <a href="http://funops.co/nix-cookbook/" rel="noopener noreferrer nofollow" target="_blank">Nix Cookbook</a> Upcoming talks <a href="https://skillsmatter.com/meetups/8341-fearless-deployments-in-scala" rel="noopener noreferrer nofollow" target="_blank">London Scala User Group (LSUG), London (England) – 2nd August 2016</a> <a href="http://www.thestrangeloop.com/2016/put-a-type-on-it-idris-type-providers-for-aws-resources.html" rel="noopener noreferrer nofollow" target="_blank">Strangeloop, St. Louis, MO – Sept 2016</a> <a href="http://www.reactivesummit.org/" rel="noopener noreferrer nofollow" target="_blank">Reactive Summit, Austin, TX – Oct 2016</a> Reasoning about your code As always, a giant Thank You goes to <a href="https://twitter.com/davidjbelcher" rel="noopener noreferrer nofollow" target="_blank">David Belcher</a> for the logo design.