Podcast 35: Iavor (#350)

Author: nomeata

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.

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/)