In this episode I talk with Adam Chlipala.  We talk Coq, proof assistants, getting started, tooling, domains for advancement using proofs, Ur/Web, and much, much more.

Functional Geekery Episode 101 - Adam Chlipala

Technology

Tech News

Podcasting

Gadgets

Software How-To

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.

Functional Geekery Episode 141 - Shriram Krishnamurthi

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.

Functional Geekery Episode 140 - Katja Mordaunt and Adam Warski

In this episode I talk with Laura M. Castro. We talk her introduction to Erlang, Final Project and Ph.D. around Erlang, Research and Teaching using Erlang and Elixir, the Erlang Ecosystem Foundation, Code Beam Lite, Erlang Workshops and more.

Functional Geekery Episode 139 - Laura M. Castro

In this episode I talk with Aleksander Lisiecki. We talk his introduction to Erlang, non-standard use cases for Erlang and Elixir, Erlang and Elixir School, and more.

Functional Geekery Episode 138 - Aleksander Lisiecki

In this episode I talk with Renzo Borgatti. We talk his introduction to Clojure, learning the extended vocabulary of Clojure, his book Clojure: The Essential Reference, gems in the Clojure language, side projects, and much more.

Functional Geekery Episode 101 - Adam Chlipala

Download our free app to listen on your phone