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 Episode 109 - Zach Kessin @ Functional Geekery
📆 2017-09-26 12:00 / ⌛ 00:51:22
Functional Geekery Episode 108 - David Christiansen @ Functional Geekery
📆 2017-09-19 12:00 / ⌛ 01:02:11
Functional Geekery Episode 107 - Julie Moronuki @ Functional Geekery
📆 2017-09-12 12:00 / ⌛ 00:58:35
Functional Geekery Episode 106 - Reid Evans @ Functional Geekery
📆 2017-09-05 12:00 / ⌛ 00:57:48
Functional Geekery Episode 105 - David Koontz @ Functional Geekery
📆 2017-08-29 12:00 / ⌛ 01:07:22