Folding and flying paper airplanes youtu.be/3BNg4fDJC8A?...

If you can travel on Dec 9-12 and you are interested in LEAN, mathlib and in general formalizing mathematics, don't miss #ItaLean25 Great job @marcolenci.bsky.social and @pietromonticone.bsky.social pitmonticone.github.io/ItaLean2025/

This is to give you an idea how crazy things are in academia right now. Literally in the past day and a half I received 3 + 1/2 + 1/2 review requests!! (I'm not at liberty to say what those two halves are.)

Well, let’s wait and see what will really happen youtube.com/shorts/FO3DU...

I’m honored to have been appointed Associate Editor of Chaos, Solitons & Fractals www.sciencedirect.com/journal/chao... If you think you have a good and appropriate paper in the areas of dynamical systems, ergodic theory and stochastic processes, submit it to the journal to my attention!

Stuff like this is going to happen more and more often, I fear. I’m amazed at the lengths people (especially outside a math dept) go to avoid doing a bit of math.

Courtesy of @newyorker.com

Rivoluzioni matematiche: il Teorema ergodico di Marco Lenci https://maddmaths.simai.eu/divulgazione/letture-matematiche/teorema-ergodico-marco-lenci/

This is spectacular!

My book on the Ergodic Theorem is out in every (more or less) Italian newsstand this week, available as a bundle with the August issue of Le Scienze magazine (the Italian version of Scientific American), part of a series on the Greatest Theorems of Mathematics! www.lescienze.it/collane/teor...

A new "Mathlib initiative" focussed around Lean's mathematics library has been announced. Thanks to the generosity of Alex Gerko and XTX Markets, there is finally an official entity focussed on growing this 21st century way of doing mathematics. www.renaissancephilanthropy.org/news-and-ins...

Big cars are safe www.youtube.com/shorts/DEd1H...

This video troubles me, in a number of good ways... youtu.be/LKiBlGDfRU8?...

Who'd have guessed? www.qut.edu.au/news/realfoc...

Nope, not working for me. Neither the normal script (get the error messages as in 1st pic) nor the slow delete under Advanced Options (see 2nd pic). I really don't know squat about browser consoles and script, but my inkling is that X sent me incomplete / weirdly formatted data.

Happy Festivus! 🥅

This search for a valid aternative to Twitter must end at some point...