A tartalmat a Pedro Abreu biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Pedro Abreu vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.

Type Theory Forall « »
#41 The Value of PL (and) Education - Satnam Singh

1y ago 1:41:04

Megosztás

MP3•Epizód kép

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

93 epizódok

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Minden epizód

Üdvözlünk a Player FM-nél!

A Player FM lejátszó az internetet böngészi a kiváló minőségű podcastok után, hogy ön élvezhesse azokat. Ez a legjobb podcast-alkalmazás, Androidon, iPhone-on és a weben is működik. Jelentkezzen be az feliratkozások szinkronizálásához az eszközök között.

Hallgasson 500+ témát

Hasonló a(z) Type Theory Forall sorozathoz

Podcastok, amelyeket érdemes meghallgatni

Type Theory Forall « » #41 The Value of PL (and) Education - Satnam Singh

Links

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

Links

Podcastok, amelyeket érdemes meghallgatni

Üdvözlünk a Player FM-nél!

Hasonló a(z) Type Theory Forall sorozathoz

Gyors referencia kézikönyv

Type Theory Forall « »
#41 The Value of PL (and) Education - Satnam Singh