ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "55: Sebastian Ullrich"
Episode Synopsis
In this episode, Niki and Andres talk with Sebastian, one of the main developers of Lean, currently working at the Lean Focused Research Organization. Today we talk about the addictive notion of theorem provers, what is a sweet spot between dependent types and simple programming and how Lean is both a theorem prover and an efficient general purpose programming language.
More episodes of the podcast The Haskell Interlude
73: Jean-Philippe Bernardy
13/11/2025
72: Manuel Chakravarty
30/10/2025
71: Stefan Wehr
16/10/2025
70: Phil Wadler
14/09/2025
69: Jurriaan Hage
25/08/2025
68: Michael Snoyman
12/08/2025
67: Alex McLean
07/07/2025
66: Daniele Micciancio
24/06/2025
65: Andy Gordon
30/05/2025
64: Sandy Maguire
23/04/2025
In God we trust