The Cofree Coffee Cast
By Sandy Maguire
The Cofree Coffee CastJan 16, 2022
Shae Erisson
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.
Reed Mullanix
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.
Solomon Bothwell
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.
Jonathan Lorimer
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.