In this episode I gather with two good friends Eric and Nitin to randomly talk random subjects that pops up. Among them we talked about POPL, Scala, Isabelle, Parametricity, Dependent Object Types (DOT, for short) and more!

This episode is about the journey of a programmer that converted himself into

Here are a few questions that you'll find the answer to in this episode:

Talia Ringer is an Assistant Professor at University of Illinois

She’s very active on twitter @taliaringer. And in this episode we will talk

Talia's Twitter

Sigplan Mentoring

TIL: a type-directed, optimizing compiler for ML

Neuro Divergent in CS

Neuro Divergent in CS - Slack

Overblur

In this episode we have talk with Alejandro Serrano Mena, he

We talk about many interesting features behind functional

In this episode we host a discussion between Anupam Das and Thorsten

Anupam is a lecturer in the University of Birmingham in the UK, and Thorsten

We discuss why constructive content in proofs matters, the law of excluded

In this episode I have a nice conversation with Chris Jenkins to talk about

In this episode we dive into Isabelle, the interactive theorem prover based on Higher Order Logic directly from someone who spent quite some time hacking on its internals.

Me and Daniel also talk about Mizar, Isar, the seL4, and how it is formalized.

Torwards the end of the episode we also talk a little about his current work on the binary analysis of Aarch32 Arm Archtecture at Galois.