diff --git a/podcast/35/index.markdown b/podcast/35/index.markdown new file mode 100644 index 00000000..5b4b1078 --- /dev/null +++ b/podcast/35/index.markdown @@ -0,0 +1,9 @@ +--- +title: Iavor Diatchki +episode: 35 +buzzsproutId: 13797157 +recorded: 2023-09-18 +published: 2023-10-17 +--- + +Wouter and Niki are joined by Iavor Diatchki to talk about his experience with different Haskell development styles, writing a high assurance wiki in php, and maintaining Haskell code across different GHC releases over multiple decades. diff --git a/podcast/35/links.markdown b/podcast/35/links.markdown new file mode 100644 index 00000000..3dfa71db --- /dev/null +++ b/podcast/35/links.markdown @@ -0,0 +1,9 @@ +* [Iavor’s Webpage](https://galois.com/team/iavor-diatchki/) +* [Iavor’s Github](https://github.com/yav) +* [Gentle introduction to Haskell](https://www.haskell.org/tutorial/) +* [HUGS](https://www.haskell.org/hugs/) +* [Mark Jones](https://web.cecs.pdx.edu/~mpj/) +* [Christine Rizkallah’s Keynote at ICFP](https://icfp23.sigplan.org/details/icfp-2023-icfp-keynotes/51/The-Cogent-and-Dargent-approach-to-facilitating-verified-software-development) +* [Cryptol](https://cryptol.net/) +* [Crusible](https://saw.galois.com/) +* [Daedalus](https://galoisinc.github.io/daedalus/)