News for hackers. Stuff that matters.

A comment on The Case for Formal Methods.

Re:The Case for Formal Methods by spiralganglion on Tuesday April 16, 2019 @11:56AM (#19674751)
Steve Krouse's Future of Coding project is a fantastic resource for people working on programming languages, systems, editors, and other tools-for-making-our-tools. I heartily recommend anyone interested in the space spend some time poking around the https://futureofcoding.org website.

Some of my favourite episodes of the podcast:

• Compassion & Programming: Glen Chiacchieri - https://futureofcoding.org/episodes/026

• Exploring Dynamicland: Omar Rizwan - https://futureofcoding.org/episodes/028

• The Edges of Representation: Katherine Ye - https://futureofcoding.org/episodes/034

• Samantha John of Hopscotch on Learnable Programming - https://futureofcoding.org/episodes/005

[ Parent | on HN ]
Re:The Case for Formal Methods by depressed on Tuesday April 16, 2019 @02:14PM (#19675922)
I'm going to piggyback of your comment, since you're commenting on the website itself:

Is there any way to download this podcast for offline listening? I'm looking for podcasts I can listen to while driving without killing my mobile data quota.

[ Parent | on HN ]
Re:The Case for Formal Methods by doc_ochs on Tuesday April 16, 2019 @03:17PM (#19676449)
If you are on Android, Google Podcasts and Podcast Addict both let you download the episodes.
[ Parent | on HN ]
Re:The Case for Formal Methods by spiralganglion on Wednesday April 17, 2019 @12:53AM (#19679857)
The podcast should be available in any podcast player — just use the podcast player's search feature. I use the Overcast app for iOS and recommend it.
[ Parent | on HN ]