From 3e61c07189d27189abc663b3780986ddf4050e08 Mon Sep 17 00:00:00 2001 From: Matthias Pall Gissurarson Date: Wed, 11 Dec 2024 15:44:58 +0100 Subject: [PATCH 1/2] Add Harry's episode --- podcast/59/index.markdown | 9 +++++++++ podcast/59/links.markdown | 13 +++++++++++++ 2 files changed, 22 insertions(+) create mode 100644 podcast/59/index.markdown create mode 100644 podcast/59/links.markdown diff --git a/podcast/59/index.markdown b/podcast/59/index.markdown new file mode 100644 index 00000000..eb0d0e8c --- /dev/null +++ b/podcast/59/index.markdown @@ -0,0 +1,9 @@ +--- +title: Harry Goldstein +episode: 59 +buzzsproutId: 16261243 +recorded: 2024-10-23 +published: 2024-12-12 +--- +Sam and Wouter interview Harry Goldstein, a researcher in property-based testing who works in PL, SE, and HCI. In this episode, we reflect on random generators, the find-a-friend model, interdisciplinary research, and how to have impact beyond your own research community. + diff --git a/podcast/59/links.markdown b/podcast/59/links.markdown new file mode 100644 index 00000000..2b4d9d18 --- /dev/null +++ b/podcast/59/links.markdown @@ -0,0 +1,13 @@ +* [Harry's website](https://harrisongoldste.in/) +* [Chasins et al. HCI +PL better together CACM](https://dl.acm.org/doi/10.1145/3469279) +* [PLMW@ POPL24 - Consider Collaboration](https://www.youtube.com/watch?v=sSl-856qUOA) +* [PLMW@ ICFP24 - My PhD Compass Six ways to guide a PhD to success](https://www.youtube.com/live/pS_vJAwjcM4?t=26173s) +* [Property based testing in practice](https://dl.acm.org/doi/10.1145/3597503.3639581) +* [Tyche: making sense of property based testing effectiveness](https://harrisongoldste.in/papers/uist24-tyche.pdf) +* [Reflecting on Random Generation](https://dl.acm.org/doi/10.1145/3607842) +* [Parsing randomness](https://dl.acm.org/doi/abs/10.1145/3563291) +* [Hypothesis library for Python](https://hypothesis.readthedocs.io/en/latest/) +* [Mica: Automated Differential Testing for OCaml Modules](https://harrisongoldste.in/papers/ocaml24-mica.pdf) +* [Ghostwriter](https://hypothesis.readthedocs.io/en/latest/ghostwriter.html) +* [QuickCheck](https://hackage.haskell.org/package/QuickCheck) +* [QuickSpec](https://hackage.haskell.org/package/quickspec) From 1ca70d0890ff571b920354ef9bb2d00f6a6ced6a Mon Sep 17 00:00:00 2001 From: Matthias Pall Gissurarson Date: Wed, 11 Dec 2024 15:47:42 +0100 Subject: [PATCH 2/2] Fix typo in 56 --- podcast/56/index.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/podcast/56/index.markdown b/podcast/56/index.markdown index e0c17663..a354f24e 100644 --- a/podcast/56/index.markdown +++ b/podcast/56/index.markdown @@ -7,4 +7,4 @@ published: 2024-10-01 --- Today on the Haskell Interlude, Matti and Sam are joined by Satnam Singh. Satnam has been a lecturer at Glasgow, and Software Engineer at Google, Meta, and now Groq. He talks about convincing people to use Haskell, laying out circuits and why community matters. -PS: After the recording, it was important to Satnam to clarify that his advise to “not be afraid to loose your job” was specially meant to encourage to quit jobs that are not good for you, if possible, but he acknowledges that unfortunately not everybody can afford that risk. +PS: After the recording, it was important to Satnam to clarify that his advise to “not be afraid to lose your job” was specially meant to encourage to quit jobs that are not good for you, if possible, but he acknowledges that unfortunately not everybody can afford that risk.