The Cofree Coffee Cast

In which Shae discusses the power of names, doing things that need to be done, organizing EuroHaskell, putting together the Monad Reader, where to get permission to build cool things, and the importance of ignorance.

In which Reed discusses truth, proof assistants, getting good at math, category theory, inductive types, how to learn, the importance of community, and epistemic humility.

In which Solomon Bothwell discusses starting a radio station, building collaborative communities, pair programming, building a functional chat bot, the meaning of utopia, a new residency program, the Curry-Howard isomorphism, and renegotiating your place in society. You can get in touch about Solomon's residency program here.

In which Jonathan Lorimer discusses getting into programming as an adult, hiring a programming coach, building communities, mentorship, data vs codata, the use of philosophy in the modern world, and the importance of taking yourself seriously.