I was on Func Prog Podcast talking about formal methods, model checking, TLA+ and Quint! Here are the links in case you want to check it out:
YouTube: https://youtu.be/zKERmkonANM?si=--G5E0HSjyOKvgFQ
Spotify: https://open.spotify.com/episode/4yaIyGbRcG5dBSGSaD3gCa?si=i2m-c89jQ8ON25HmIUjhSw
RSS: https://anchor.fm/s/10395bc40/podcast/rss




