Resources for participation

# Resources for participation If you are seeking to obtain further participation points (in compliance with the courses [general guidelines](https://codeberg.org/alexhkurz/programming-languages-2024/src/branch/main/participation.md)) you can watch or listen to episodes from or more of the following outlets. This also extends to podcasts or video series that you find on your own, as long as topic and quality is appropriate for the course (ask us if you're in doubt). **For each episode that you like to be counted towards participation, you have to write a discussion post for our Discord, just like for a regular seminar talk.** * [Computerphile](https://www.youtube.com/@Computerphile), especially: [Creating your own programming language](https://www.youtube.com/watch?v=Q2UDHY5as90) * [Chapman University, Schmid College](https://www.youtube.com/@chapmanschmid/videos) * Various talks at the intersection of math, computer science, logic, philosophy, and physics. Take your pick! * [Topos Institute](https://www.youtube.com/@ToposInstitute) * Some of the talks are very research-intense, others are intended to be more broadly accessible such as: * [David Danks: "Ethics in AI, not Ethics of AI"](https://www.youtube.com/watch?v=kEf_MTqeXWg) * [Zoé Christoff: "The logic of social influence in networks" ](https://www.youtube.com/watch?v=pY2m_nSDkEQ) * [Paul Dancstep: "What is Category Theory?"](https://www.youtube.com/watch?v=eXBwU9ieLL0) * ...[pick your own]... * [Type Theory for all](https://www.typetheoryforall.com/) * [Church of Logic](https://www.podchaser.com/podcasts/the-church-of-logic-5287837) * [Stack Overflow Podcast](https://stackoverflow.blog/podcast) * [CoRecursive: Coding Stories](https://corecursive.com/) * [Compositional](https://www.podchaser.com/podcasts/compositional-1440207) * [Point-free](https://www.pointfree.co/) * [Functional Futures](https://tunein.com/podcasts/Science--Technology-News/Functional-Futures-p1873967/) * [The Pragmatic Engineer](https://newsletter.pragmaticengineer.com/podcast) * [The Function Call](https://castbox.fm/channel/The-Function-Call-id3383107?country=us) * [Future of Coding](https://ericnormand.me/podcast) * [Eric Normand Podcast](https://ericnormand.me/podcast) and [Eric Normand's list of functional programming languages](https://ericnormand.me/functional-programming-podcasts#) * [ACM A.M. Turing Award Laureate Interviews](https://www.youtube.com/playlist?list=PLn0nrSd4xjjaSLBSzmno-3Ods6FJE9nlO). Researchers on Programming Languages on the playlist are Tony Hoare, Barbara Liskov, Fran Allen, John Backus, Donald Knuth, Leslie Lamport, Niklaus Wirth, Joeseph Sifakis, Dana Scott. * [Harvard New Technologies in Mathematics Seminar](https://cmsa.fas.harvard.edu/events-archive/category/nt/list/?eventDisplay=past) * [ACM Tech Talks](https://learning.acm.org/techtalks-archive) * [Metagov Seminar](https://archive.org/search?query=creator%3A%22Metagovernance+Seminar%22) * [Machine Learning Street Talk (video)](https://www.youtube.com/c/MachineLearningStreetTalk) [(audio only)](https://www.podbean.com/podcast-detail/jpdkj-c8e18/Machine-Learning-Street-Talk-%28MLST%29-Podcast) * [CENG](https://youtube.com/playlist?list=PLWsUdY5oZR4RV0GQC6zickwIJXR9a5Unt&feature=shared) * [Y Combinator](https://www.ycombinator.com/blog/tag/podcast/)