Formal methods formally require impossibly precise definitions of terms. How do we use them effectively without that?
You can support the podcast and get episodes a week early, by supporting the Patreon:
If you like the show, consider buying me a coffee:
Original music by Kevin MacLeod.
This podcast is under a Creative Commons Attribution Non-Commercial International 4.0 License.