Hacker News new | ask | show | jobs
by pas 974 days ago
Kevin Buzzard (a professional mathematician) has a few good talks about Lean

https://youtu.be/Dp-mQ3HxgDE from 2019 at MS Research

https://www.youtube.com/watch?v=SEID4XYFN7o&t=4m35s (2022 at ICM international math congress)

1 comments

Youtube has forgotten what "audio" is for me so noting the first talk is also at https://www.microsoft.com/en-us/research/video/the-future-of... - which is using youtube - but manages to make noises. Which I suppose is a pointwise instance arguing that software does not work as well as it might do.