[2025-04-29 07:19:12 UTC] New release [ci skip]

Author: github-actions

podcast/63/index.html

@@ -281,15 +281,30 @@ <h2 class="text-2xl font-normal">Related links</h2>
     </div>
     <div class="border-l-3 border-gray-300 ml-5 md:ml-8 lg:ml-10 pl-4 md:pl-8 lg:pl-14 pr-4">
       <ul>
-<li><a href="https://scholar.google.com/citations?user=aZ_uTPUAAAAJ">Farhad</a></li>
-<li><a href="https://conservatory.scheme.org/schemers/Documents/Standards/R5RS/">Scheme</a></li>
-<li><a href="https://smlfamily.github.io/">SML</a></li>
-<li><a href="https://www.scala-lang.org/">Scala</a></li>
-<li><a href>Benjamin Pierce: Types and Programming Languages</a></li>
-<li><a href="https://en.wikipedia.org/wiki/Gotthard_Base_Tunnel">Gotthard-Basistunnel</a></li>
-<li><a href="https://en.wikipedia.org/wiki/Scratch_(programming_language)">Block-based programming in Scratch</a></li>
-<li><a href="https://www.ost.ch/de/details/abstracts/designing-a-visual-block-based-environment-to-create-execute-haskell-code-19074">Designing a Visual, Block-Based Environment to Create &amp; Execute Haskell Code</a></li>
-<li><a href="http://conal.net/">Conal Elliott</a></li>
+<li><a href="https://www.ost.ch/de/person/farhad-d-mehta-1860">Farhad Mehta’a OST Webpage</a></li>
+<li><a href="http://zurihac.info">ZuriHac</a></li>
+<li><a href="https://homecse.iitd.ac.in">Department of Computer Science and Engineering (IIT) Delhi</a></li>
+<li><a href="https://www.cse.iitd.ernet.in/~sak/">Prof. S. Arun Kumar (SAK)</a></li>
+<li><a href="https://www.cse.iitd.ac.in/~sanjiva/">Prof. Sanjiva Prasad</a></li>
+<li><a href="https://www.cse.iitd.ernet.in/~suban/">Prof. Subashis Banerjee</a></li>
+<li><a href="https://homecse.iitd.ac.in/col100-introdution-to-computer-science/">Introduction to Computer Science (Course at IIT Delhi)</a></li>
+<li><a href="https://www.scheme.org">Scheme</a></li>
+<li><a href="https://en.wikipedia.org/wiki/Standard_ML">Standard ML</a></li>
+<li><a href="https://ocaml.org">OCaml</a></li>
+<li><a href="https://www.haskell.org">Haskell</a></li>
+<li><a href="https://www.scala-lang.org">Scala</a></li>
+<li><a href="https://www.cis.upenn.edu/~bcpierce/tapl/">Types and Programming Languages (Book by Benjamin C. Pierce)</a></li>
+<li><a href="https://www.tum.de">Technical University Munich (TUM)</a></li>
+<li><a href="https://isabelle.in.tum.de">Isabelle (Proof Assistant)</a></li>
+<li><a href="https://www21.in.tum.de/~nipkow/">Prof. Tobias Nipkow</a></li>
+<li><a href="https://ethz.ch/en.html">Swiss Institute of Technology (ETH) Zurich</a></li>
+<li><a href="https://en.wikipedia.org/wiki/B-Method#Event-B">Event-B (Formal Development Method)</a></li>
+<li><a href="https://en.wikipedia.org/wiki/Jean-Raymond_Abrial">Prof. Jean-Raymond Abrial</a></li>
+<li><a href="https://en.wikipedia.org/wiki/L0tschberg_Base_Tunnel">Lötschberg Base Tunnel</a></li>
+<li><a href="https://en.wikipedia.org/wiki/Gotthard_Base_Tunnel">Gotthard Base Tunnel</a></li>
+<li><a href="https://www.ost.ch">Eastern Switzerland University of Applied Sciences (OST)</a></li>
+<li><a href="https://studien.ost.ch/allModules/39143_M_FP.html">Functional Programming (Course at OST)</a></li>
+<li><a href="https://www.msengineering.ch/theory-modules/2024-2025-tsm-advprpa">Advanced Programming Paradigms (Course at OST)</a></li>
 </ul>
     </div>
   </div>