ℝolliℵg M∀th Thr∑a∂

i enjoyed this thread about zero:

This meme is very very funny, but it is also inviting a serious explainer 🧵 from yours truly about 0 in Sinitic languages (there'll also be something funny later on). 😂 Let's go! 1/ https://t.co/I3vEGnNS7Z

— Egas Moniz-Bandeira ᠡᡤᠠᠰ ᠮᠣᠨᠢᠰ ᠪᠠᠨᡩ᠋ᠠᠶᠢᠷᠠ (@egasmb) May 21, 2023

also have enjoyed videos recently from math youtuber @Domotro

That was good, thanks.

as solved by "anonymous 4chan poster and anime-fan":

https://www.quantamagazine.org/sci-fi-writer-greg-egan-and-anonymous-math-whiz-advance-permutation-problem-20181105/

(courtesy max read so others will have seen this)

The Unabomber has died. Here is a famously good footnote to him in a mathematics paper.

Citation: Pudwell, Lara. “Digit Reversal without Apology.” Mathematics Magazine, vol. 80, no. 2, 2007, pp. 129–32. JSTOR, https://t.co/IpyzPWc0AA. Accessed 10 June 2023. pic.twitter.com/xCwNbMtQmf

— Alex von Tunzelmann (@alexvtunzelmann) June 10, 2023

i love Greg Egan's short stories. he is better versed in math than more recognized literary writers like Borges, Calvino, et al

Subscribers to this thread might enjoy the novella a short stay in hell by this guy https://en.wikipedia.org/wiki/Steven_L._Peck

There’s something annoying about Greg Egan but some of his stories are indeed mindblowing.

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.