In this episode, I had the honor to talk with Vladislav Zavialov, Software Engineer at #Serokell and #Haskell #GHC Technical Steering Committee member. We talked about dependent types, type systems, and functional programming.

In this episode of #InferencePodcast​, I had a great discussion with Luca Piccinelli about the #COBOL​ programming language. We talked about a library he wrote for giving support for dynamic arrays to the language (https://github.com/lucapiccinelli/array​), how he implemented the #QuickSort​ algorithm efficiently, and how he codes COBOL using #TDD​ (test-driven development).

got my microphone broken and realized it right after the recording. In this episode of InferencePodcast, I had a fantastic conversation with Arseniy Seroka, the co-founder and chief executive officer of Serokell, a company specialized in blockchain​, fintech​, IoT​, Machine Learning​, and... functional programming in Haskell​, Erlang​, Elixir​, and Rust​!

In this episode of InferencePodcast, I had a fantastic conversation with Louis Pilfold, the author of the Gleam Programming Language, a new exciting and type-safe programming language for the Erlang BEAM.

In this episode of InferencePodcast, I had an awesome conversation with an ex-Klarna, ex-Spotify (currently Erlang Solutions) software engineer: Leandro Ostera. We mainly talked about OCaml, its community, and the influence that this language had on other programming languages and communities.

In this episode of InferencePodcast, I had a great conversation with Alexander Granin, experienced software architect, C++ and Haskell developer, international speaker, and author of "Functional design and architectures" book. We talked about Haskell and functional programming in general in the industry and their community.

In this episode, I had a great conversation with Brujo Benavides, staff engineer at AdRoll, ex Erlang Solutions, member of the Erlang Ecosystem Foundation, organizer of the SpawnFest... an incredibly committed person with a huge love for Erlang and functional programming in general.