Functional Geekery Episode 71 - Nikhil Swamy
Functional Geekery
In this episode I talk with Nikhil Swamy. We talk F*, dependent types, proving software, Dijkstra Monads, Project Everest for verified HTTPS, and more.Next Episodes
Functional Geekery Episode 70 - Simon Thompson @ Functional Geekery
📆 2016-10-18 12:00 / ⌛ 01:03:11
Functional Geekery Episode 69 - Bartosz Milewski @ Functional Geekery
📆 2016-10-11 12:00 / ⌛ 01:00:54
Functional Geekery Episode 68 - Matthew Butterick @ Functional Geekery
📆 2016-10-04 12:00 / ⌛ 01:07:07
Functional Geekery Episode 67 - Hardy Jones @ Functional Geekery
📆 2016-09-27 12:00 / ⌛ 01:06:20
Functional Geekery Episode 66 - Scott Wlaschin @ Functional Geekery
📆 2016-09-13 12:00 / ⌛ 00:59:15