In this condensed episode, Julián Hernández-Serrano employs his diverse backgrounds and personal experience to share with us: - how can good narratives help us solve problems - what can hurricanes teach us - why should we be careful when coding - when to ground ourselves in the...

André Hernández-Espiet formalizes Euclid's Elements in the proof assistant Lean. He will offer some thoughts on: - what principles are essential when coding up geometry in a rigorous way - why is graduate school a scam - which skills and approaches are useful both in academia and the industry -...