diff --git a/podcast/73/index.markdown b/podcast/73/index.markdown new file mode 100644 index 00000000..18dbba64 --- /dev/null +++ b/podcast/73/index.markdown @@ -0,0 +1,9 @@ +--- +title: Jean-Philipe Bernardy +episode: 73 +buzzsproutId: 18185602 +recorded: 2025-05-16 +published: 2025-11-14 +--- + +In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs. diff --git a/podcast/73/links.markdown b/podcast/73/links.markdown new file mode 100644 index 00000000..8746d2ab --- /dev/null +++ b/podcast/73/links.markdown @@ -0,0 +1,11 @@ +- [Raincode](https://www.raincode.com/) +- [Gentle Intro to Haskell (tutorial)](https://www.haskell.org/tutorial/intro.html) +- [Chalmers University of Technology](https://www.chalmers.se/en/) +- [John Hughes](https://research.chalmers.se/en/person/rjmh) +- [Testing Polymorphic Properties](https://publications.lib.chalmers.se/records/fulltext/local_99387.pdf) +- [Phil Wadler](https://homepages.inf.ed.ac.uk/wadler/) +- [Theorems for Free!](https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf) +- [Linear Haskell](https://arxiv.org/pdf/1710.09756) +- [YI (vi-like editor written in Haskell)](https://yi-editor.github.io/) +- [Dante (Emacs mode for Interactive Haskell)](https://github.com/jyp/dante) +- [HLS (Haskell Language Server)](https://github.com/haskell/haskell-language-server)