BBC Radio 5 live’s award winning gaming podcast, discussing the world of video games and games culture.
…
continue reading
Content provided by Zachary Kessin. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Zachary Kessin or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
Similar to podcast – Mostly Erlang
Android Backstage, a podcast by and for Android developers. Hosted by developers from the Android engineering team, this show covers topics of interest to Android programmers, with in-depth discussions and interviews with engineers on the Android team at Google. Subscribe to Android Developers YouTube → https://goo.gle/AndroidDevs
…
continue reading
A podcast about web design and development.
…
continue reading
Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
Hanselminutes is Fresh Air for Developers. A weekly commute-time podcast that promotes fresh technology and fresh voices. Talk and Tech for Developers, Life-long Learners, and Technologists.
…
continue reading
Developer Tea exists to help driven developers connect to their ultimate purpose and excel at their work so that they can positively impact the people they influence. With over 13 million downloads to date, Developer Tea is a short podcast hosted by Jonathan Cutrell (@jcutrell), co-founder of Spec and Director of Engineering at PBS. We hope you'll take the topics from this podcast and continue the conversation, either online or in person with your peers. Twitter: @developertea :: Email: deve ...
…
continue reading
Publishing weekly since 2012, this show helps marketers navigate the ever changing marketing jungle with expert interviews from leading marketing pros. Join Social Media Examiner’s founder Michael Stelzner as he helps you discover new strategies and actionable tips to improve your marketing. Show notes at Socialmediaexaminer.com/podcast/
…
continue reading
We promise we are not as Horrible as you think at video games, well maybe. Join us in a weekly show discussing video games, the culture around it and the latest topics going on in the industry. You’ll find insightful discussions , game reviews, and industry news that cater to all gaming enthusiasts. Join us as we dive deep into the world of gaming, sharing our thoughts and experiences. Give us a listen and share us with your friends. Your feedback is always welcome, and we appreciate your su ...
…
continue reading
The power of Data is undeniable. And unharnessed - it’s nothing but chaos. Making data your ally. Using it to lead with confidence and clarity. Host Jess Carter is solving problems in real-time to reveal what’s possible. Helping communities and people thrive. This is Data Driven Leadership, a show brought to you by Resultant.
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
))
050 miniKanren With William Byrd
Manage episode 60657730 series 60600
Content provided by Zachary Kessin. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Zachary Kessin or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
We apologize, this episode got messed up, so here is a fixed version
https://mostlyerlang.files.wordpress.com/2014/11/050_minikanren.mp3Download Link:
audio mp3=”https://mostlyerlang.files.wordpress.com/2014/11/050_minikanran.mp3″%5D%5B/audio%5D
Download Link: https://mostlyerlang.files.wordpress.com/2014/11/050_minikanran.mp3
A programming language that doesn’t change the way you think about programming isn’t worth learning — Alan Kay
MiniKanren is a relational programming language that has been used for both research and in industry. Find out how it was created and how it can be used to to do useful work in your programs.
Panel
- William Byrd (@webyrd)
- Robert Virding (@rvirding)
- Kevin Hammond (@khstandrews)
- Zachary Kessin (@zkessin)
Links
- The Reasoned Schemer
- miniKanren
- core.logic
- ExKanren
- ErlKanren
- erlog
- 7 More Languages in 7 Weeks
- Prolog Episode of Mostly Erlang
- Curry-Howard Isomerism
- The Type Theory Podcast
- Will’s PhD Dissertation
Language Picks
- Language with Come From & While Don’t (Kevin)
- Concurrency and Parallelism (Robert)
- Forth & Factor (Will)
- Term Re-writing Systems (Will)
- PLT-Redex
- http://r-project.org R (Zach)
- awk
33 episodes
Share
Manage episode 60657730 series 60600
Content provided by Zachary Kessin. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Zachary Kessin or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
We apologize, this episode got messed up, so here is a fixed version
https://mostlyerlang.files.wordpress.com/2014/11/050_minikanren.mp3Download Link:
audio mp3=”https://mostlyerlang.files.wordpress.com/2014/11/050_minikanran.mp3″%5D%5B/audio%5D
Download Link: https://mostlyerlang.files.wordpress.com/2014/11/050_minikanran.mp3
A programming language that doesn’t change the way you think about programming isn’t worth learning — Alan Kay
MiniKanren is a relational programming language that has been used for both research and in industry. Find out how it was created and how it can be used to to do useful work in your programs.
Panel
- William Byrd (@webyrd)
- Robert Virding (@rvirding)
- Kevin Hammond (@khstandrews)
- Zachary Kessin (@zkessin)
Links
- The Reasoned Schemer
- miniKanren
- core.logic
- ExKanren
- ErlKanren
- erlog
- 7 More Languages in 7 Weeks
- Prolog Episode of Mostly Erlang
- Curry-Howard Isomerism
- The Type Theory Podcast
- Will’s PhD Dissertation
Language Picks
- Language with Come From & While Don’t (Kevin)
- Concurrency and Parallelism (Robert)
- Forth & Factor (Will)
- Term Re-writing Systems (Will)
- PLT-Redex
- http://r-project.org R (Zach)
- awk
33 episodes
All episodes
×
Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.
Similar to podcast – Mostly Erlang
BBC Radio 5 live’s award winning gaming podcast, discussing the world of video games and games culture.
…
continue reading
Android Backstage, a podcast by and for Android developers. Hosted by developers from the Android engineering team, this show covers topics of interest to Android programmers, with in-depth discussions and interviews with engineers on the Android team at Google. Subscribe to Android Developers YouTube → https://goo.gle/AndroidDevs
…
continue reading
A podcast about web design and development.
…
continue reading
Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
Hanselminutes is Fresh Air for Developers. A weekly commute-time podcast that promotes fresh technology and fresh voices. Talk and Tech for Developers, Life-long Learners, and Technologists.
…
continue reading
Developer Tea exists to help driven developers connect to their ultimate purpose and excel at their work so that they can positively impact the people they influence. With over 13 million downloads to date, Developer Tea is a short podcast hosted by Jonathan Cutrell (@jcutrell), co-founder of Spec and Director of Engineering at PBS. We hope you'll take the topics from this podcast and continue the conversation, either online or in person with your peers. Twitter: @developertea :: Email: deve ...
…
continue reading
Publishing weekly since 2012, this show helps marketers navigate the ever changing marketing jungle with expert interviews from leading marketing pros. Join Social Media Examiner’s founder Michael Stelzner as he helps you discover new strategies and actionable tips to improve your marketing. Show notes at Socialmediaexaminer.com/podcast/
…
continue reading
We promise we are not as Horrible as you think at video games, well maybe. Join us in a weekly show discussing video games, the culture around it and the latest topics going on in the industry. You’ll find insightful discussions , game reviews, and industry news that cater to all gaming enthusiasts. Join us as we dive deep into the world of gaming, sharing our thoughts and experiences. Give us a listen and share us with your friends. Your feedback is always welcome, and we appreciate your su ...
…
continue reading
The power of Data is undeniable. And unharnessed - it’s nothing but chaos. Making data your ally. Using it to lead with confidence and clarity. Host Jess Carter is solving problems in real-time to reveal what’s possible. Helping communities and people thrive. This is Data Driven Leadership, a show brought to you by Resultant.
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
