Functional Geekery Episode 110 – Kiwamu Okabe
Listen now
Description
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.
More Episodes
Published 07/19/22
In this episode, I talk with Shriram Krishnamurthi. We cover his introduction to functional programming, Racket and #lang, Static vs Dynamic Typing, Bootstrap and Pyret, How to Design Programs, and much, much, more.
Published 07/19/22
In this episode I talk with Katja Mordaunt and Adam Warski. We talk Katja's and Adam's introduction to software, being on the LambdaDays 2022 Programme Committee, a peek what being on the Programme Committee looks like, introducing new people to functional programming, and more.
Published 05/31/22
Links
Twitter
Facebook
Instagram
Patreon
Genres
Artwork or description wrong?
Request an update »
Updates may take a few minutes.
Do you host a podcast?
Track your ranks and reviews from Spotify, Apple Podcasts and more.
