Comment by dahjelle

I gave a talk on it at a local meetup. Here’s my notes and slides: https://gitlab.com/dahjelle/programming-as-theory-building-2...

The Future of Coding podcast also had an episode on it: https://futureofcoding.org/episodes/061