by skadamat·7y ago·view on hn ↗Hillel Wayne was recently on the Future of Coding podcast and they go deep into formal methods - https://futureofcoding.org/episodes/038