Tom Scott new video

Stream: general

[Kenny Lau]

https://www.youtube.com/watch?v=BxV14h0kFs0

[Kevin Buzzard]

Does this have something to do with Lean?

[Kenny Lau]

the central message of this video seems to me to be that every code we write (and by extension everything we build) will one day break, but it is the process that counts

[Ryan Lahfa]

Kenny Lau said:

the central message of this video seems to me to be that every code we write (and by extension everything we build) will one day break, but it is the process that counts

well, it applies to mathlib sure :D

[Ryan Lahfa]

and Lean