Re: [racket-users] (ninth RacketCon) videos

2019-07-20 Thread Neil Van Dyke
Just to be clear, YouTube is clearly a very pragmatic way to make the RacketCon videos most accessible to people, and I'm very glad it's done. Many people will stream the videos through YouTube, and (thanks to "youtube-dl.org") it's currently also an easy way to distribute the data to various

Re: [racket-users] (ninth RacketCon) videos

2019-07-19 Thread Neil Van Dyke
If you want to youtube-dl the videos, this script might work: https://www.neilvandyke.org/racket/download-racketcon-2019-videos.sh (My living room airgapped Blu-ray player delights houseguests, with a curated collection of fine videos on Racket and other CS topics.) -- You received this

[racket-users] (ninth RacketCon) videos

2019-07-19 Thread Matthew Flatt
Individual videos for this year's RacketCon talks are now available: https://www.youtube.com/playlist?list=PLXr4KViVC0qJp4_2uTTAOjt-4URQBAR4c -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving