diff --git a/podcast/63/index.markdown b/podcast/63/index.markdown new file mode 100644 index 00000000..b62396ee --- /dev/null +++ b/podcast/63/index.markdown @@ -0,0 +1,9 @@ +--- +title: Fahrad Mehta +episode: 63 +buzzsproutId: 16806099 +recorded: 2024-11-15 +published: 2025-03-17 +--- +On this episode of the Haskell Interlude, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Fahrad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry. + diff --git a/podcast/63/links.markdown b/podcast/63/links.markdown new file mode 100644 index 00000000..969cc4f2 --- /dev/null +++ b/podcast/63/links.markdown @@ -0,0 +1,8 @@ ++ [Scheme](https://conservatory.scheme.org/schemers/Documents/Standards/R5RS/) ++ [SML](https://smlfamily.github.io/) ++ [Scala](https://www.scala-lang.org/) ++ [Benjamin Pierce: Types and Programming Languages]() ++ [Gotthard-Basistunnel](https://en.wikipedia.org/wiki/Gotthard_Base_Tunnel) ++ [Block-based programming in Scratch](https://en.wikipedia.org/wiki/Scratch_(programming_language)) ++ [Designing a Visual, Block-Based Environment to Create & Execute Haskell Code ](https://www.ost.ch/de/details/abstracts/designing-a-visual-block-based-environment-to-create-execute-haskell-code-19074) ++ [Conal Elliott](http://conal.net/)