Type Theory Forall Podcast: David Christiansen (www.typetheoryforall.com)
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer....
Issue 420 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-05-16.
Haskell Interlude Podcast 49: Arseniy Seroka (haskell.foundation)
Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more...