In this episode we talk about Sigplan, the organization behind the most

In this episode Cody Roux teaches some interesting concepts that people care

In this episode Conal Elliott gives a more concrete presentation

We also continue a discussion raised by Dan Ghica on the last episode on the

Along the way we also address the questions sent by the listeners in these last episodes.

"A theory appears beautiful or elegant [...] when it’s simple; in other words when it can be expressed very concisely in terms of mathematics that we’ve already learned for some other reasons." - Murray Gell-Mann, Beauty and Elegance in Physics.

"In Galileo’s time, professors of philosophy and theology—the subjects were inseparable—produced grand discourses on the nature of reality, the structure of the universe, and the way the world works, all based on sophisticated metaphysical arguments. Meanwhile, Galileo measured how fast balls roll down inclined planes. How mundane! But the learned discourses, while grand, were vague. Galileo’s investigations were clear and precise. The old metaphysics never progressed, while Galileo’s work bore abundant, and at length spectacular, fruit. Galileo too cared about the big questions, but he realized that getting genuine answers requires patience and humility before the facts." - Frank Wilczek, (The Lightness of Being: Mass, Ether, and the Unification of Forces)

"We must make here a clear distinction between belief and faith, because, in general practice, belief has come to mean a state of mind which is almost the opposite of faith. Belief, as I use the word here, is the insistence that the truth is what one would ‘lief’ or wish it to be. The believer will open his mind to the truth on the condition that it fits in with his preconceived ideas and wishes. Faith, on the other hand, is an unreserved opening of the mind to the truth, whatever it may turn out to be. Faith has no preconceptions; it is a plunge into the unknown. Belief clings, but faith lets go. In this sense of the word, faith is the essential virtue of science, and likewise of any religion that is not self-deception." - Alan Watts (The Wisdom of Insecurity: A Message for an Age of Anxiety)

In this episode, me and Eric Bond have a great conversation with Dan R.

In today’s episode I invite two friends of mine Patrick Lafontaine and Supun

Patrick researches compilers and have done work in particular with Rust. And

In this episode Cody Roux talks about the Gödel's Incompleteness Theorems. We go

In this episode I had the pleasure to have an in-depth conversation with Conal

In this episode we interview Jesper Cockx, one of the core developers on Agda.

In this episode me, Eric and Nitin continues our conversation started in the