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. 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)