• #41 The Value of PL (and) Education - Satnam Singh

  • Aug 15 2024
  • Length: 1 hr and 41 mins
  • Podcast

#41 The Value of PL (and) Education - Satnam Singh

  • Summary

  • Satnam Singh has got incredible experience in both academia and industry. He has worked in Google, Facebook, Microsoft, Microsoft Research, Xilinx, etc. He has been a lecturer in Glasgow, Birmingham and University of California for a couple of years. He has worked with many interesting tools such Coq, Haskell, Verilog, Tensorflow. These days he works at Groq, applying FP to design silicon for machine learning. In this episode we talk about the value of specification, the current state of academia, gaming the metrics, functional programming in hardware, bullying, among other things.

    If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

    Links
    • Personal Website
    • Satnam's X
    • Groq
    Show more Show less
activate_Holiday_promo_in_buybox_DT_T2

What listeners say about #41 The Value of PL (and) Education - Satnam Singh

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.