Relase episode 63 (#484)

Author: Tritlo

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.
+

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