Functional Geekery Episode 71 – Nikhil Swamy

Functional Geekery - A podcast by Proctor

Categories:

Technology

In this episode I talk with Nikhil Swamy. We talk F*, dependent types, proving software, Dijkstra Monads, Project Everest for verified HTTPS, and more.