Episode 59 (#465)

* Add Harry's episode

* Fix typo in 56

Author: Tritlo

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.

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

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)