# Pedro Abreu
Top podcast episodes
Updated:
pedro abreu (born 1 February 1957) is a Cuban basketball player. He competed in the 1980 Summer Olympics.
The Guide to Your Psycho Path E-#15
This Episode is about Marine Corps MSGT Pedro Abreu. He is recently retired and we spoke about his career. His loved ones and friends had some nice things to say.Support this podcast at — https://redcircle.com/the-guide-to-your-psycho-path/donations
#0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.
Who is Pedro Abreu?
What is the goal of this Podcast?
What are My Research Interests?
In this episode I share about my internship experiences at Nicta (data61 now), Sifive, Galois and Nomadic Labs.
Welcome!
Don’t forget to checkout Galois’ new podcast hosted by Joey Dodds and Shpat
Morina…
#36 Behind the Person Behind this Podcast - Pedro Abreu
In this episode we celebrate 3 years of existence of this podcast by
reflecting on the journey so far, what is my philosophy, how do I
approach the interviews, my overall goals for the show, and some of our plans
for the future.
In order to achieve this, I first take a detour and tell you a littl…
#36 Behind the Person Behind this Podcast - Pedro Abreu
In this episode we celebrate 3 years of existence of this podcast by
reflecting on the journey so far, what is my philosophy, how do I
approach the interviews, my overall goals for the show, and some of our plans
for the future.
In order to achieve this, I first take a detour and tell you a little…
#36 Behind the Person Behind this Podcast - Pedro Abreu
In this episode we celebrate 3 years of existence of this podcast by
reflecting on the journey so far, what is my philosophy, how do I
approach the interviews, my overall goals for the show, and some of our plans
for the future.
In order to achieve this, I first take a detour and tell you a little…
#0 Cool Internships in PL - Pedro Abreu
Who is Pedro Abreu?
What is the goal of this Podcast?
What are My Research Interests?
In this episode I share about my internship experiences at Nicta (data61 now), Sifive, Galois and Nomadic Labs.
Welcome!
Don’t forget to checkout Galois’ new podcast hosted by Joey Dodds and Shpat Morina. Cli…
Kodsnack 612 - Where types first come in, with Pedro Abreu
Fredrik talks to Pedro Abreu about the magical world of type theory. What is it, and why is it useful to know about and be inspired by?
Pedro gives us some background on type theory, and then we talk about how type theory can provide new ways of reasoning about programs, and tools beyond tests to …
Kodsnack 612 - Where types first come in, with Pedro Abreu
Fredrik talks to Pedro Abreu about the magical world of type theory. What is it, and why is it useful to know about and be inspired by?
Pedro gives us some background on type theory, and then we talk about how type theory can provide new ways of reasoning about programs, and tools beyond tests to …
Episode 340 " A Local Gladiator " Pedro Abreu at McFly's Pub
Find todays guest on Instagram @coachpedroabreu . Join us each Tuesday at 5pm and be part of the weekly live audience recording at McFly's Pub in Fort Worth Texas. We take this podcasting thing pretty serious. Dropping 5 to 9 episodes a week. Got an idea for the show? You can email us at media@fort…
#64 PL Education in the Age of AI - Shriram Krishnamurthi
Shriram has devoted his Career to advance the teaching of programming of programming languages. he is a professor at Brown, The author / co-author of different books about this, and a major contributor the Racket Programming Language.
In this episode we talk in depth about why PL education is so i…
PODCAST SEARCH ENGINE
You can use our website to search 3,822,285 podcasts and 195,515,379 episodes by people, places, or topics.
An investment in knowledge pays the best interest, so I listen to podcasts.
‐ Benjamin "Llamacorn" Franklin
EDIT
Thank you for helping to keep the podcast database up to date.
