Peyton Jones's guest appearances

Peyton Jones

The Carey Nieuwhof Leadership Podcast: Lead Like Never Before

Vanderbloemen Leadership Podcast

Software Engineering Radio - the podcast for professional software developers

Functional Geekery

The Stetzer ChurchLeaders Podcast

The Haskell Cast

MetaLearn Podcast

Archive Ideas to Life

Hardcore Church Planting

Church Planter Podcast

Salty Believer Unscripted

Collegiate Collective Podcast

Frequency Podcast

Strike the Match with J. D. Payne

FashionTalks

Larry Osborne

Dave Ferguson

Brad Brisco

Mac Lake

Carey Nieuwhof

Tyler Reagin

Alan Briggs

Drew Dyck

Daniel Im

Thom Rainer

Kadi Cole

Adam Weber

Clint Clifton

Jo Saxton

Steve Addison

OwlTail

Krav Maga

No Austin on this one Shane and Austin's brother Peyton shoot the breeze a bit

Nice Boys

No Austin on this one Shane and Austin's brother Peyton shoot the breeze a bit

You know Krav Maga w/ Peyton Jones

In this episode, Conor interviews speakers &amp; organizers live from Lambda Days 2023!Link to Episode 134 on WebsiteDiscuss this episode, leave a comment, or ask a question (on GitHub)TwitterADSP: The PodcastConor HoekstraBryce Adelstein LelbachGuests InterviewedBarbara TrojeckaBecca WilliamsJordan MillerSimon Peyton JonesShow NotesDate Recorded: 2023-06-06Date Released: 2023-06-16Lambda Days 2023 WebsiteLambda Days on TwitterLambda Days on LinkedInLambda Days on FacebookErlang LanguageElixir LanguageScala LanguageFunctional Females on LinkedInBecca Williams on LinkedInBecca Williams on TwitterOlivia Smith on LinkedInOlivia Smith on TwitterLost in Lambdauhhs PodcastJordan Miller - Cognicast Episode 165defn PodcastClojure CampClojure for the Brave and TrueClojure Languagewww.plrank.comThreading Macros in ClojureLambda Days 2023: Opening Keynote - Beyond functional programming - Simon Peyton Jones &amp; Tim SweeneyVerse Language“Shaping our children’s education in computing” by Simon Peyton JonesBeyond Functional Programming: The Verse Programming Language (Simon Peyton Jones)Lambda Days 2023: Bringing LAMBDA to Excel - Jack WilliamsLAMBDA in ExcelKeynote: Excel meets Lambda - Andy Gordon, Simon Peyton Jones | Lambda Days 2021Download Excel LabsSimon Peyton Jones Home PageRemora LanguageHaskell orthotope Library

Algorithms + Data Structures = Programs

In this episode, Conor interviews speakers &amp; organizers live from Lambda Days 2023!<ul><li><a href="https://adspthepodcast.com/2023/06/16/Episode-134.html" rel="nofollow" target="_blank">Link to Episode 134 on Website</a></li><li><a href="https://github.com/codereport/adsp2/discussions/25" rel="nofollow" target="_blank">Discuss this episode, leave a comment, or ask a question (on GitHub)</a></li></ul>Twitter<ul><li><a href="https://twitter.com/adspthepodcast" rel="nofollow" target="_blank">ADSP: The Podcast</a></li><li><a href="https://twitter.com/code_report" rel="nofollow" target="_blank">Conor Hoekstra</a></li><li><a href="https://twitter.com/blelbach" rel="nofollow" target="_blank">Bryce Adelstein Lelbach</a></li></ul>Guests Interviewed<ul><li><a href="https://www.linkedin.com/in/barbara-trojecka-17723a41/" rel="nofollow" target="_blank">Barbara Trojecka</a></li><li><a href="https://twitter.com/WaveTalentBecca" rel="nofollow" target="_blank">Becca Williams</a></li><li><a href="https://twitter.com/lambduhh" rel="nofollow" target="_blank">Jordan Miller</a></li><li><a href="https://twitter.com/simonpj0" rel="nofollow" target="_blank">Simon Peyton Jones</a></li></ul>Show NotesDate Recorded: 2023-06-06 Date Released: 2023-06-16<ul><li><a href="https://www.lambdadays.org/lambdadays2023" rel="nofollow" target="_blank">Lambda Days 2023 Website</a></li><li><a href="https://twitter.com/LambdaDays" rel="nofollow" target="_blank">Lambda Days on Twitter</a></li><li><a href="https://www.linkedin.com/company/lambda-days/" rel="nofollow" target="_blank">Lambda Days on LinkedIn</a></li><li><a href="https://www.facebook.com/lambdadays/" rel="nofollow" target="_blank">Lambda Days on Facebook</a></li><li><a href="https://www.erlang.org/" rel="nofollow" target="_blank">Erlang Language</a></li><li><a href="https://elixir-lang.org/" rel="nofollow" target="_blank">Elixir Language</a></li><li><a href="https://www.scala-lang.org/" rel="nofollow" target="_blank">Scala Language</a></li><li><a href="https://www.linkedin.com/company/functional-females/" rel="nofollow" target="_blank">Functional Females on LinkedIn</a></li><li><a href="https://www.linkedin.com/in/beccawilliams-wave/" rel="nofollow" target="_blank">Becca Williams on LinkedIn</a></li><li><a href="https://twitter.com/WaveTalentBecca" rel="nofollow" target="_blank">Becca Williams on Twitter</a></li><li><a href="https://www.linkedin.com/in/olivia-wave/" rel="nofollow" target="_blank">Olivia Smith on LinkedIn</a></li><li><a href="https://twitter.com/WaveTalentFP" rel="nofollow" target="_blank">Olivia Smith on Twitter</a></li><li><a href="https://open.spotify.com/show/34AisqmrBIXvlD0capu91P" rel="nofollow" target="_blank">Lost in Lambdauhhs Podcast</a></li><li><a href="https://www.cognitect.com/cognicast/165" rel="nofollow" target="_blank">Jordan Miller - Cognicast Episode 165</a></li><li><a href="https://open.spotify.com/show/1QjrcRB92ugX030dtXnG6U" rel="nofollow" target="_blank">defn Podcast</a></li><li><a href="https://clojure.camp/" rel="nofollow" target="_blank">Clojure Camp</a></li><li><a href="https://www.amazon.com/Clojure-Brave-True-Ultimate-Programmer/dp/1593275919" rel="nofollow" target="_blank">Clojure for the Brave and True</a></li><li><a href="https://clojure.org/" rel="nofollow" target="_blank">Clojure Language</a></li><li><a href="https://adspthepodcast.com/2023/06/16/www.plrank.com" rel="nofollow" target="_blank">www.plrank.com</a></li><li><a href="https://clojure.org/guides/threading_macros" rel="nofollow" target="_blank">Threading Macros in Clojure</a></li><li>Lambda Days 2023: Opening Keynote - Beyond functional programming - Simon Peyton Jones &amp; Tim Sweeney</li><li><a href="https://dev.epicgames.com/documentation/en-us/uefn/verse-language-reference" rel="nofollow" target="_blank">Verse Language</a></li><li><a href="https://www.youtube.com/watch?v=y-xgWLYQc4g" rel="nofollow" target="_blank">“Shaping our children’s education in computing” by Simon Peyton Jones</a></li><li><a href="https://www.youtube.com/watch?v=832JF1o7Ck8" rel="nofollow" target="_blank">Beyond Functional Programming: The Verse Programming Language (Simon Peyton Jones)</a></li><li>Lambda Days 2023: Bringing LAMBDA to Excel - Jack Williams</li><li><a href="https://support.microsoft.com/en-au/office/lambda-function-bd212d27-1cd1-4321-a34a-ccbf254b8b67" rel="nofollow" target="_blank">LAMBDA in Excel</a></li><li><a href="https://www.youtube.com/watch?v=C_lGkGwV4Xc" rel="nofollow" target="_blank">Keynote: Excel meets Lambda - Andy Gordon, Simon Peyton Jones | Lambda Days 2021</a></li><li><a href="https://www.microsoft.com/en-us/garage/profiles/excel-labs/" rel="nofollow" target="_blank">Download Excel Labs</a></li><li><a href="https://simon.peytonjones.org/" rel="nofollow" target="_blank">Simon Peyton Jones Home Page</a></li><li><a href="https://arxiv.org/abs/1912.13451" rel="nofollow" target="_blank">Remora Language</a></li><li><a href="https://hackage.haskell.org/package/orthotope" rel="nofollow" target="_blank">Haskell orthotope Library</a></li></ul>

Episode 134: 🇵🇱 Lambda Days Live 🇵🇱 Simon Peyton Jones, Jordan Miller & More!

May the 4th be with you! Peyton stops by to fantasy draft his favorite Lightsaber Duels! Listen to Dog Cops: https://open.spotify.com/track/2OWJCbojVJxQI7I9lFsNdQ?si=79b3c19648d7486f Get NEW merch here: https://niceboyspodcast.creator-spring.com/

May the 4th be with you! Peyton stops by to fantasy draft his favorite Lightsaber Duels! Listen to Dog Cops: <a href="https://open.spotify.com/track/2OWJCbojVJxQI7I9lFsNdQ?si=79b3c19648d7486f" rel="nofollow" target="_blank">https://open.spotify.com/track/2OWJCbojVJxQI7I9lFsNdQ?si=79b3c19648d7486f</a> Get NEW merch here: <a href="https://niceboyspodcast.creator-spring.com/" rel="nofollow" target="_blank">https://niceboyspodcast.creator-spring.com/</a>

Lightsaber Duels Fantasy Draft (w/ Peyton Jones)

On today’s episode, we sit down with educator, researcher, and all-around information guru Simon Peyton Jones to learn all about programming languages and their impact on hardware, software, and research/development. Simon also brings some professional insight into Excel as a programing language. Oddly enough, around the time Rob met Simon, Rob began to think of Excel as a programming language. In order to be a language, the formulas have to deal with both space and time, so Excel formula language absolutely fits the bill. Just be careful how you code. On older systems, if you perform a VLOOKUP at the same time as a nested IF, it might disrupt the space-time continuum and bring about the blue screen of death! As an engineering fellow at Epic Games, a researcher for Microsoft Research Cambridge, and a professor at Glasgow University, Simon also brings a unique perspective on changing the educational system to include base learning on computer science as part of general education. Not only did Simon step up and suggest change, but he also followed through and created a coalition to guide the program and ensure future expansion as needed. When Simon talks about research, people listen! As always, if you enjoyed this episode, be sure to leave us a review on your favorite podcast platform to help others find the Raw Data by P3 Adaptive Podcast Also in this episode:  Simon Peyton Jones’s bookmarks! Alonzo Church – Lambda Calculus Touring machine  Automata Theory  LAMBDA: The Ultimate Excel worksheet function. (Andy Gordon, Simon Peyton Jones)  LISP functional language  Microsoft Research – Cambridge Arthur Norman – functional programming John Backus Turing Award  Setting up for Success w/David McKinnis  Declarative Programing Immutability Changes Everything Computing at School – CAS Scratch - Computer Programming  Logo - Apple  Estimating the value of Pi using Monte Carlo Code.org Tesla One-Way Valve Turing Tumble Robo Rally Board Game Unreal Engine  Joe Duffy on Transactional Memory Haskell Language

Raw Data By P3 Adaptive

On today’s episode, we sit down with educator, researcher, and all-around information guru <a href="https://simon.peytonjones.org/" rel="nofollow" target="_blank">Simon Peyton Jones</a> to learn all about programming languages and their impact on hardware, software, and research/development. Simon also brings some professional insight into Excel as a programing language. Oddly enough, around the time Rob met Simon, Rob began to think of Excel as a programming language. In order to be a language, the formulas have to deal with both space and time, so Excel formula language absolutely fits the bill. Just be careful how you code. On older systems, if you perform a VLOOKUP at the same time as a nested IF, it might disrupt the space-time continuum and bring about the blue screen of death! As an engineering fellow at <a href="https://store.epicgames.com/en-US/" rel="nofollow" target="_blank">Epic Games</a>, a researcher for Microsoft Research Cambridge, and a professor at Glasgow University, Simon also brings a unique perspective on changing the educational system to include base learning on computer science as part of general education. Not only did Simon step up and suggest change, but he also followed through and created a <a href="https://www.computingatschool.org.uk/" rel="nofollow" target="_blank">coalition</a> to guide the program and ensure future expansion as needed. When Simon talks about research, people listen! As always, if you enjoyed this episode, be sure to leave us a review on your favorite podcast platform to help others find the Raw Data by P3 Adaptive Podcast Also in this episode: <a href="https://www.computingatschool.org.uk/resource-library/2015/january/simon-peyton-joness-bookmarks" rel="nofollow" target="_blank"> Simon Peyton Jones’s bookmarks!</a> <a href="https://plato.stanford.edu/entries/church/supplementD.html" rel="nofollow" target="_blank">Alonzo Church – Lambda Calculus</a> <a href="https://youtu.be/gJQTFhkhwPA" rel="nofollow" target="_blank">Touring machine</a> <a href="https://cs.stanford.edu/people/eroberts/courses/soco/projects/2004-05/automata-theory/basics.html" rel="nofollow" target="_blank"> Automata Theory</a> <a href="https://www.microsoft.com/en-us/research/blog/lambda-the-ultimatae-excel-worksheet-function/" rel="nofollow" target="_blank"> LAMBDA: The Ultimate Excel worksheet function. (Andy Gordon, Simon Peyton Jones)</a> <a href="https://courses.cs.vt.edu/~cs1104/TowerOfBabel/LISP/Lisp.outline.html#:~:text=Lisp%20is%20a%20functional%20programming,Lisp%20expression%20returns%20some%20value." rel="nofollow" target="_blank"> LISP functional language</a> <a href="https://www.microsoft.com/en-us/research/lab/microsoft-research-cambridge/" rel="nofollow" target="_blank"> Microsoft Research – Cambridge</a> <a href="https://www.cl.cam.ac.uk/teaching/2000/FFuncProg/" rel="nofollow" target="_blank">Arthur Norman – functional programming</a> <a href="https://amturing.acm.org/award_winners/backus_0703524.cfm" rel="nofollow" target="_blank">John Backus Turing Award</a> <a href="https://p3adaptive.com/rawdatapodcast/episode/setting-up-for-success-w-david-mckinnis/" rel="nofollow" target="_blank"> Setting up for Success w/David McKinnis</a> <a href="https://www.techtarget.com/searchitoperations/definition/declarative-programming#:~:text=Declarative%20programming%20is%20a%20method,the%20opposite%20of%20imperative%20programming." rel="nofollow" target="_blank"> Declarative Programing</a> <a href="https://vimeo.com/52831373" rel="nofollow" target="_blank">Immutability Changes Everything</a> <a href="https://www.computingatschool.org.uk/" rel="nofollow" target="_blank">Computing at School – CAS</a> <a href="https://scratch.mit.edu/" rel="nofollow" target="_blank">Scratch - Computer Programming</a> <a href="https://learn.adafruit.com/program-logo-on-an-apple-ii/hello-turtle" rel="nofollow" target="_blank"> Logo - Apple</a> <a href="https://www.geeksforgeeks.org/estimating-value-pi-using-monte-carlo/" rel="nofollow" target="_blank"> Estimating the value of Pi using Monte Carlo</a> <a href="code.org" rel="nofollow" target="_blank">Code.org</a> <a href="https://youtu.be/suIAo0EYwOE" rel="nofollow" target="_blank">Tesla One-Way Valve</a> <a href="https://upperstory.com/turingtumble/" rel="nofollow" target="_blank">Turing Tumble</a> <a href="https://boardgamegeek.com/boardgame/18/roborally" rel="nofollow" target="_blank">Robo Rally Board Game</a> <a href="https://www.unrealengine.com/en-US" rel="nofollow" target="_blank">Unreal Engine</a> <a href="http://joeduffyblog.com/2010/01/03/a-brief-retrospective-on-transactional-memory/" rel="nofollow" target="_blank"> Joe Duffy on Transactional Memory</a> <a href="https://www.haskell.org/" rel="nofollow" target="_blank">Haskell Language</a>

Excel is the Most Functional of Programming Languages w/ Simon Peyton Jones

Guest Peyton Jones teaches through Mark 8:1-21.  For more info on Peyton Jones' ministry visit https://newbreedtraining.com/about/peyton-jones/

Generation Church South Oceanside

Guest Peyton Jones teaches through Mark 8:1-21.  For more info on Peyton Jones' ministry visit <a href="https://newbreedtraining.com/about/peyton-jones/" rel="nofollow" target="_blank">https://newbreedtraining.com/about/peyton-jones/</a>

Peyton Jones - The Compassion of Jesus

Simon Peyton Jones is interviewed by Andres Löh and Joachim Breitner.  Simon is the creator of Haskell and in this episode he talks about his new position at Epic, the origins of Haskell and why "it feels right", and the (extra)ordinary Haskell programmers.

The Haskell Interlude

Simon Peyton Jones is interviewed by Andres Löh and Joachim Breitner.  Simon is the creator of Haskell and in this episode he talks about his new position at Epic, the origins of Haskell and why "it feels right", and the (extra)ordinary Haskell programmers.

11: Simon Peyton Jones

Season 2 conversations continue with Peyton Jones joining Winfield on episode 4 as they explore how God's mission for church planting is holistic and dynamic. Winfield and Peyton discuss new movements in the church and how the new micro church movement is much other than we think. Check out Peyton's Website: https://newbreedtraining.com/ Peyton's New Book: Church Plantology: The Art and Science of Planting Churches

Church Planting Conversations with Dr. Winfield Bevins

Season 2 conversations continue with Peyton Jones joining Winfield on episode 4 as they explore how God's mission for church planting is holistic and dynamic. Winfield and Peyton discuss new movements in the church and how the new micro church movement is much other than we think. Check out Peyton's Website: <a href="https://newbreedtraining.com/" rel="nofollow" target="_blank">https://newbreedtraining.com/</a> Peyton's New Book: <a href="https://www.amazon.com/Church-Plantology-Planting-Churches-Exponential/dp/0310534178" rel="nofollow" target="_blank">Church Plantology: The Art and Science of Planting Churches</a>

S2E4 | Ancient Micro with Peyton Jones

Season 2 continues with Peyton Jones, a veteran church planter and evangelist, joining Winfield on episode 3 as they explore how God's mission for church planting is holistic and dynamic. Winfield also interviews Peyton about his new book, Church Plantology, the first comprehensive textbook from a veteran church planter. Listen now!   Check out Peyton's Website: https://newbreedtraining.com/ Peyton's New Book: Church Plantology: The Art and Science of Planting Churches

<h1>Season 2 continues with Peyton Jones, a veteran church planter and evangelist, joining Winfield on episode 3 as they explore how God's mission for church planting is holistic and dynamic. Winfield also interviews Peyton about his new book, Church Plantology, the first comprehensive textbook from a veteran church planter. Listen now! </h1> Check out Peyton's Website: <a href="https://newbreedtraining.com/" rel="nofollow" target="_blank">https://newbreedtraining.com/</a> Peyton's New Book: <a href="https://www.amazon.com/Church-Plantology-Planting-Churches-Exponential/dp/0310534178" rel="nofollow" target="_blank">Church Plantology: The Art and Science of Planting Churches</a>

S2E3 | Holistic Plantology with Peyton Jones

In this open interview, Simon Peyton Jones responds to DojoLIVE! interviewers' questions about the hot topics and concerns of the day. View the full video interview here. Simon Peyton Jones is a researcher at Microsoft Research in Cambridge, England, where he started in Sept 1998. He is also an Honorary Professor of the Computing Science Department at Glasgow University.

Tech Without Borders by dojo.live

In this open interview, Simon Peyton Jones responds to DojoLIVE! interviewers' questions about the hot topics and concerns of the day. View the full video interview here. <a href="http://linkedin.com/in/simonpj" rel="noopener noreferrer nofollow" target="_blank">Simon Peyton Jones</a> is a researcher at Microsoft Research in Cambridge, England, where he started in Sept 1998. He is also an Honorary Professor of the Computing Science Department at Glasgow University.

Simon Peyton Jones

As part of our interview series, we got the fantastic opportunity to interview Simon Peyton Jones, who was a key contributor to the design of Haskell and one of the lead designers of Glasgow Haskell Compiler (GHC). In the interview, we discussed the past, present, and future of Haskell, Haskell’s benefits and downsides, GHC, walking the line between Haskell being a research and industry language, and multiple other topics. This is an audio-only version of the interview. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=4RuLzL_q0zs  FP merch that doesn't suck: https://shop.serokell.io/  Read highlights on Serokell Blog: https://serokell.io/blog/past-and-present-of-haskell Follow on social media: https://twitter.com/serokell https://twitter.com/simonpj0 Learn more about us: https://serokell.io/ Contact us: academy@serokell.io

Functional Futures

As part of our interview series, we got the fantastic opportunity to interview Simon Peyton Jones, who was a key contributor to the design of Haskell and one of the lead designers of Glasgow Haskell Compiler (GHC). In the interview, we discussed the past, present, and future of Haskell, Haskell’s benefits and downsides, GHC, walking the line between Haskell being a research and industry language, and multiple other topics. This is an audio-only version of the interview. You can watch the original on our YouTube channel: <a href="https://www.youtube.com/watch?v=4RuLzL_q0zs" rel="nofollow" target="_blank">https://www.youtube.com/watch?v=4RuLzL_q0zs </a> FP merch that doesn't suck: <a href="https://shop.serokell.io/" rel="nofollow" target="_blank">https://shop.serokell.io/</a> Read highlights on Serokell Blog: <a href="https://serokell.io/blog/past-and-present-of-haskell" rel="nofollow" target="_blank">https://serokell.io/blog/past-and-present-of-haskell</a> Follow on social media: <a href="https://twitter.com/serokell" rel="nofollow" target="_blank">https://twitter.com/serokell</a> <a href="https://twitter.com/simonpj0" rel="nofollow" target="_blank">https://twitter.com/simonpj0</a> Learn more about us: <a href="https://serokell.io/" rel="nofollow" target="_blank">https://serokell.io/</a> Contact us: academy@serokell.io