Sisällön tarjoaa Pedro Abreu. Pedro Abreu tai sen podcast-alustan kumppani lataa ja toimittaa kaiken podcast-sisällön, mukaan lukien jaksot, grafiikat ja podcast-kuvaukset. Jos uskot jonkun käyttävän tekijänoikeudella suojattua teostasi ilman lupaasi, voit seurata tässä https://fi.player.fm/legal kuvattua prosessia.

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

28d ago 1:41:04

Jaa

MP3•Jakson koti

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.

Links

81 jaksoa

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

כל הפרקים

Tervetuloa Player FM:n!

Player FM skannaa verkkoa löytääkseen korkealaatuisia podcasteja, joista voit nauttia juuri nyt. Se on paras podcast-sovellus ja toimii Androidilla, iPhonela, ja verkossa. Rekisteröidy sykronoidaksesi tilaukset laitteiden välillä.

Kuuntele yli 500 aihetta

Samanlainen kuin Type Theory Forall

Kuuntelemisen arvoisia podcasteja

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

Links

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

Links

Kuuntelemisen arvoisia podcasteja

Tervetuloa Player FM:n!

Samanlainen kuin Type Theory Forall

Pikakäyttöopas

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