Functional Geekery

Functional Geekery Episode 110 – Kiwamu Okabe

Functional Geekery

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.

Next Episodes




Functional Geekery

Functional Geekery Episode 106 – Reid Evans @ Functional Geekery

📆 2017-09-05 12:00 / 00:57:48