From fafa66853bb9a1e46edfa33c59ee6febe40e298d Mon Sep 17 00:00:00 2001 From: Matthias Pall Gissurarson Date: Mon, 17 Mar 2025 15:25:02 +0100 Subject: [PATCH] Relase episode 63 --- podcast/63/index.markdown | 9 +++++++++ podcast/63/links.markdown | 8 ++++++++ 2 files changed, 17 insertions(+) create mode 100644 podcast/63/index.markdown create mode 100644 podcast/63/links.markdown 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/)