Functional Geekery Episode 110 – Kiwamu Okabe
Functional Geekery - A podcast by Proctor
Categories:
In this episode I talk with Kiwamu Okabe. We talk his introduction to writing software for hardware; exposure to functional programming; running Haskell, ATS, and VeriFast verification on bare metal hardware; and more.
