Skip to content

Commit 50e7310

Browse files
myShoggothmyShoggoth
committed
Convert podcasts
1 parent e3f0c8e commit 50e7310

File tree

8 files changed

+927
-76
lines changed

8 files changed

+927
-76
lines changed

Diff for: ‎podcast/0.markdown

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
title: Teaser
3+
episode: 0
4+
description: We are starting a new Haskell-focused podcast where we interview guests from the Haskell community. The hosts are Niki Vazou, Joachim Breitner, Andres Löh, Alejandro Serrano and Wouter Swierstra. In this teaser episode, we introduce ourselves.
5+
buzzsproutId: 8849953
6+
buzzsproudName: 00-teaser
7+
---

Diff for: ‎podcast/1.markdown

+25
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
---
2+
title: Emily Pillmore
3+
episode: 1
4+
description: The guest of our first regular episode is Emily Pillmore, CTO of the Haskell Foundation. The hosts are Alejandro Serrano and Andres Löh. We talk about Emily's path to Haskell, the role of the Haskell Foundation and the CTO within the Haskell Foundation, about current projects, the Haskell Community and about Emily's work on Optics.
5+
buzzsproutId: 8984158
6+
buzzsproudName: 01-emily-pillmore
7+
recorded: 2021-06-08
8+
published: 2021-08-09
9+
---
10+
* [Emily's first podcast](https://thebitcoinpodcast.com/hashing-it-out-43/)
11+
* [The Haskell Foundation](https://haskell.foundation/)
12+
* [Kadena](https://www.kadena.io/)
13+
* [HF Projects (text-utf8, Unified Installer, ...)](https://haskell.foundation/projects/)
14+
* [Previous work on text-utf8](https://hackage.haskell.org/package/text-utf8)
15+
* [ghcup](https://gitlab.haskell.org/haskell/ghcup-hs)
16+
* [Chocolatey GHC packages](https://community.chocolatey.org/profiles/Phyx)
17+
* [Haskell Foundation on the Haskell Discourse](https://discourse.haskell.org/c/haskell-foundation/)
18+
* [Contact page of the Haskell Foundation including Slack invite link](https://haskell.foundation/contact/)
19+
* [YourKit](https://www.yourkit.com/)
20+
* [Wingman tactics plugin for Haskell Language Server](https://haskellwingman.dev/)
21+
* [Simple Haskell Initiative](https://simplehaskell.org/)
22+
* [SimSpace](https://simspace.com)
23+
* [Adjoint School 2019](https://adjointschool.com/2019.html)
24+
* [Mitchell Riley: Categories of Optics](https://arxiv.org/abs/1809.00738)
25+
* [Emily and many others: Profunctor Optics, a categorical update](https://arxiv.org/abs/2001.07488)

Diff for: ‎site/podcast/1/transcript/index.html renamed to ‎podcast/1/transcript/index.markdown

+3-39
Original file line numberDiff line numberDiff line change
@@ -1,38 +1,6 @@
1-
<div class="max-w-screen-xl mx-auto py-16 md:py-24">
2-
<div class="sm:px-6 lg:px-16">
3-
<div class="relative">
4-
<div class="absolute top-0 left-0 border-t border-l border-purple-50 h-10 md:h-20 w-10 md:w-20">
5-
<div class="absolute top-1 md:top-2 left-1 md:left-2 border-t border-l border-purple-100 h-10 md:h-20 w-10 md:w-20">
6-
<div class="absolute top-1 md:top-2 left-1 md:left-2 border-t border-l border-purple-200 h-10 md:h-20 w-10 md:w-20">
7-
<div class="absolute top-1 md:top-2 left-1 md:left-2 border-t border-l border-purple-300 h-10 md:h-20 w-10 md:w-20">
8-
<div class="absolute top-1 md:top-2 left-1 md:left-2 border-t border-l border-purple-400 h-10 md:h-20 w-10 md:w-20">
9-
<div class="absolute top-1 md:top-2 left-1 md:left-2 border-t border-l border-purple-500 h-10 md:h-20 w-10 md:w-20"></div>
10-
</div>
11-
</div>
12-
</div>
13-
</div>
14-
</div>
15-
<div class="absolute top-0 right-0 border-t border-r border-purple-50 h-10 md:h-20 w-10 md:w-20">
16-
<div class="absolute top-1 md:top-2 right-1 md:right-2 border-t border-r border-purple-100 h-10 md:h-20 w-10 md:w-20">
17-
<div class="absolute top-1 md:top-2 right-1 md:right-2 border-t border-r border-purple-200 h-10 md:h-20 w-10 md:w-20">
18-
<div class="absolute top-1 md:top-2 right-1 md:right-2 border-t border-r border-purple-300 h-10 md:h-20 w-10 md:w-20">
19-
<div class="absolute top-1 md:top-2 right-1 md:right-2 border-t border-r border-purple-400 h-10 md:h-20 w-10 md:w-20">
20-
<div class="absolute top-1 md:top-2 right-1 md:right-2 border-t border-r border-purple-500 h-10 md:h-20 w-10 md:w-20"></div>
21-
</div>
22-
</div>
23-
</div>
24-
</div>
25-
</div>
26-
</div>
27-
<div class="text-center pt-12 md:pt-20 px-12 sm:px-16 md:px-24 lg:px-36 ">
28-
<h1 class="text-2xl-5xl">Episode 1: Emily Pillmore &ndash; Transcript</h1>
29-
</div>
30-
</div>
31-
</div>
32-
33-
<div class="max-w-screen-xl mx-auto">
34-
<div class="mt-16 md:mt-24">
35-
<div class="mx-auto prose md:prose-lg">
1+
---
2+
title: Episode 1':' Emily Pillmore '-' Transcript
3+
---
364

375
<h3 id="introduction">Introduction</h3>
386
<p>AS: Welcome to the Haskell Interlude, I am Alejandro Serrano and alongside my co-host Andres Löh we’ve interviewed Emily Pillmore, the CTO of the Haskell Foundation. We’ve talked with her about the role of the Foundation and all the projects around it. But we also have time for other cool topics like optics. I hope you enjoy the show.</p>
@@ -145,7 +113,3 @@ <h3 id="ending">Ending</h3>
145113
<p>AS: so I think this is a high point to to stop here after discussing objects and I think all of us have a lot of uh reading to do tonight. So… well, thanks Emily for sharing both your knowledge about optics, and all the nice work you are doing uh for the Haskell community, thanks.</p>
146114
<p>AL: yeah, thanks very much.</p>
147115
<p>EP: thank you.</p>
148-
149-
</div>
150-
</div>
151-
</div>

Diff for: ‎podcast/2.markdown

+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
---
2+
title: Lennart Augustsson
3+
episode: 2
4+
description: The guest in our second episode is Lennart Augustsson. The hosts are Wouter Swierstra and Niki Vazou. We talk about Lennart's long history with Haskell, about the various jobs he has had, all the compilers he has written, and about dependent types.
5+
buzzsproutId: 9286902
6+
buzzsproudName: 02-lennart-augustsson
7+
recorded: 2021-07-05
8+
published: 2021-10-01
9+
---
10+
* [Lennart on Twitter](https://twitter.com/augustsson)
11+
* [Lennart on Wikipedia](https://en.wikipedia.org/wiki/Lennart_Augustsson)
12+
* [Lennart's blog](https://augustss.blogspot.com/)
13+
* [Lennart's publications (DBLP)](https://dblp.uni-trier.de/pid/a/LennartAugustsson.html)
14+
* [FP group at Chalmers University](https://www.chalmers.se/en/departments/cse/organisation/fp/)
15+
* [Lazy ML](https://users.monash.edu.au/~lloyd/tildeFP/LML/)
16+
* [HBC Haskell Compiler](https://github.com/haskell-implementations/hbc)
17+
* [Coq (proof assistant and programming language](https://coq.inria.fr/)
18+
* [Hack (programming language)](https://hacklang.org/)
19+
* [POPL 2006 keynote by Tim Sweeney](https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/sweeny.pdf)

0 commit comments

Comments
 (0)