Skip to content

Commit 5e1a77b

Browse files
author
github-actions
committed
[2025-12-19 14:52:44 UTC] New release [ci skip]
1 parent 00b3bee commit 5e1a77b

File tree

3 files changed

+418
-3
lines changed

3 files changed

+418
-3
lines changed

index.html

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -257,12 +257,13 @@ <h2 class="text-center text-2xl-4xl font-normal">Announcing Ecosystem Partnershi
257257
<div class="bg-white border border-gray-300 rounded py-8 px-6 sm:px-12 text-center">
258258
<div class="bg-gray-100 px-6 sm:px-12 lg:px-16 py-6 lg:py-24 h-full">
259259
<h2 class="text-center text-2xl-4xl font-normal">
260-
<b>73</b>Jean-Philipe Bernardy
260+
<b>74</b>Lennart Augustsson
261261
</h2>
262262
<div class="mt-8 space-y-8 max-w-2xl mx-auto">
263-
<p>In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs.</p>
263+
<p>This episode is a deep dive into the evolution of Haskell and functional programming with one of its pioneers, Lennart Augustson. It reflects on decades of work in language design and compiler implementation. Lennart speaks about his early involvement in the creation of Haskell, shares thoughts on type systems, performance, and the balance between purity and practicality. The conversation ranges from personal history to big-picture views on the evolution of programming languages, with plenty of insight into what makes Haskell both powerful and challenging. A rare opportunity to hear from one of the foundational voices in the functional programming world.</p>
264+
<p>This is a joint podcast episode with the <a href="https://www.typetheoryforall.com">Type Theory Forall</a> podcast that was recorded in front of a live audience at <a href="https://zfoh.ch/zurihac2025/">ZuriHac 2025</a>.</p>
264265
<div class="mt-4">
265-
<a class="arrow-link" href="./podcast/73">&gt;&gt; Listen to Jean-Philipe Bernardy</a>
266+
<a class="arrow-link" href="./podcast/74">&gt;&gt; Listen to Lennart Augustsson</a>
266267
</div>
267268
</div>
268269
</div>

0 commit comments

Comments
 (0)