Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Podcast about formal methods &amp; verification

<https://www.youtube.com/c/BuildingBetterSystemsPodcast>

Not a big fan of podcasts. I started reading The Little Typer to get into Dependent Type Theory. The author gave a talk at Strange Loop 2018 which is available: <https://www.youtube.com/watch?v=VxINoKFm-S4> cc: <@UCUSW7WVD>