Merge pull request #193 from serras/podcast-transcript-ep-11

Podcast transcript ep. 10

Author: nikivazou

podcast/10/export-csv-to-md.py

@@ -0,0 +1,20 @@
+#!/usr/bin/env python3
+#
+# Quick helper to export my CSV to the transcription Markdown format. You might
+# have to fix the Windows line endings prior, and this will print an extra
+# newline at the end.
+#
+# I use `_Speaker:_` instead of `_Speaker_:`. Both have been used, mixed before.
+
+import sys, csv
+
+def export_to_md(csv_reader):
+    for row in csv_reader:
+        print("_{speaker}:_ {transcript}"
+                .format
+                    ( speaker    = row[0]
+                    , transcript = row[1] ))
+        print()
+
+with open(sys.argv[1]) as csv_file:
+    export_to_md(csv.reader(csv_file))

podcast/10/index.markdown

@@ -0,0 +1,9 @@
+---
+title: Nadia Polikarpova
+episode: 10
+buzzsproutId: 10194353
+recorded: 2021-12-19
+published: 2022-03-06
+---
+
+Nadia Polikarpova is interviewed by Alejandro Serrano and Niki Vazou. Nadia is an assistant professor at UCSD, where she works on improving how we write programs. They talk about some of her projects, like Hoogle+ and Synquid, and how she approaches teaching about these topics.

podcast/10/links.markdown

@@ -0,0 +1,9 @@
+* [Nadia Polikarpova](https://cseweb.ucsd.edu/~npolikarpova/)
+* [Hoogle](https://hoogle.haskell.org/)
+* [Hoogle+](https://hoogleplus.goto.ucsd.edu/)
+  * [POPL'20 paper: _Program Synthesis by Type-Guided Abstraction Refinement_](https://cseweb.ucsd.edu/~npolikarpova/publications/popl20.pdf)
+  * [OOPSLA'20 paper: _Digging for Fold: Synthesis-Aided API Discovery for Haskell_](https://cseweb.ucsd.edu/~npolikarpova/publications/oopsla20-hplus.pdf)
+* [Anti-unification](https://en.wikipedia.org/wiki/Anti-unification_(computer_science)) (Wikipedia)
+* [Dependent Haskell](https://gitlab.haskell.org/ghc/ghc/-/wikis/dependent-haskell)
+* [Synquid](http://comcom.csail.mit.edu/comcom/#Synquid)
+* [CSE 291: Program Synthesis](https://github.com/nadia-polikarpova/cse291-program-synthesis/wiki)