News for hackers. Stuff that matters.

A comment on The Case for Formal Methods. Parent comment

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 ]