ℝolliℵg M∀th Thr∑a∂

https://www.youtube.com/watch?v=ArADlJx7SlU
I love that she has a Penrose tiling tattoo.

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

https://cs.uwaterloo.ca/~csk/hat/

https://www.youtube.com/watch?v=FUHkTs-Ipfg

thought this bump would be about terry tao's formalized proof of the Polynomial Freiman-Ruzsa conjecture using Lean4 proof checking language

https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr-in-lean4-using-blueprint-a-short-tour/

(this post was written while it was still ongoing but they finished it the other day)

super interesting stuff. i don't think s clover still posts but would be interested to hear his thoughts on the significance of this. seems like it was cute niche a few years ago but is now catching on

I watched that coin rotation video the other day, pretty cool - especially solar vs sidereal year.