Yury Polyanskiy gave an interesting set of lectures on quantization and tokenization in AI at the 2025 Princeton Machine Learning Summer School. Here are his lecture slides if you can read his handwriting: people.lids.mit.edu/yp/homepage/...

#IPAM (the institute for pure and applied mathematics) is facing a critical shortfall for operating expenses due to an unexpected suspension of NSF funding www.ipam.ucla.edu/news/nsf-fun... . Donations for emergency continuity of operations funding can be made at

giving.ucla.edu/Campaign/Donat

Mary Wootters is a computer scientist at Stanford. She also created a kids book and a board game. On this week’s episode of "The Joy of Why," we discuss how playfulness can be an essential tool for scientific discovery. www.quantamagazine.org/how-can-math...

Terry Tao has translated his "Analysis I" textbook into Lean! github.com/teorth/analy...

Projects like this are tough to pull off, and need users to play through the levels and find and eliminate things which the formalization is making artificially hard. Fork the repo and give the exercises a try!