Zulip Chat Archive

Stream: general

Topic: Tom Scott new video


view this post on Zulip Kenny Lau (Apr 07 2020 at 18:54):

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

view this post on Zulip Kevin Buzzard (Apr 07 2020 at 19:07):

Does this have something to do with Lean?

view this post on Zulip Kenny Lau (Apr 07 2020 at 19:11):

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

view this post on Zulip Ryan Lahfa (Apr 07 2020 at 19:12):

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

view this post on Zulip Ryan Lahfa (Apr 07 2020 at 19:12):

and Lean


Last updated: May 12 2021 at 23:13 UTC