podcast
details
.com
Print
Share
Look for any podcast host, guest or anyone
Search
Showing episodes and shows of
Felinne Hermans
Shows
Cool Cat Teacher Talk
10 Ways to Teach Coding to Today's Students
Today, we’re exploring one of the most exciting and relevant topics in education—teaching kids to code. Featuring insights from leading computer science educators, this episode provides actionable strategies, tools, and ideas to make coding education engaging for all ages. Featured Guests This episode showcases insights and expertise from these amazing educators and leaders put together with highlights from their interviews that combine to add meaning to the topic of coding. If you want an overview on this topic, watch the whole show. If you want to dig deeper into one of the full inte...
2025-06-10
58 min
Type Theory Forall
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
In this episode we have a deep conversation with Jan de Muijnck-Hughes, talks about all the cool research he has done with idris, hardware and different kinds of interesting type systems such as session types, quantitative types and graded types. In the second half we discuss all the different kinds of problems that has been going on in PL academia lately and what we can do as a community to address those issues. Also, we have a discord channel now, join us! If you like our show please consider donating any amount at ko-fi.
2023-07-13
2h 09
JUXT Cast
Strange Loop Edition: A chat with Pete Lyons
Episode Notes Felinne Hermans: "Hedy: A Gradual programming language" by Felienne Hermans (Strange Loop 2022) Focus Retreat Center: https://focusretreatcenter.com/ Twitter: @focusretreats Instagram: @focusretreat.center Facebook: @focusretreat.center LinkedIn: @focusretreatcenter
2022-11-22
13 min