@marcolenci.bsky.social
Mathematical physicist at Università di Bologna
#ItaLean2025 "Bridging Formal Mathematics and AI" in full swing! Very interesting talks on quite momentous topics (and such a jazzy atmosphere...)
pitmonticone.github.io/ItaLean2025/
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/
And this is just a fraction of the chores one is requested to do day in day out - in fact, it's one of the most academically oriented. I can't even begin to talk about administrative pain: filling countless forms, pushing projects thru offices and people, attending pointless meetings, etc. etc.
03.09.2025 10:30 — 👍 0 🔁 0 💬 0 📌 0This 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.)
03.09.2025 10:21 — 👍 0 🔁 0 💬 1 📌 0
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.
20.08.2025 07:01 — 👍 1 🔁 0 💬 0 📌 0
Courtesy of @newyorker.com
04.08.2025 08:55 — 👍 0 🔁 0 💬 0 📌 0
Rivoluzioni matematiche: il Teorema ergodico di Marco Lenci https://maddmaths.simai.eu/divulgazione/letture-matematiche/teorema-ergodico-marco-lenci/
02.08.2025 07:11 — 👍 1 🔁 3 💬 0 📌 1This is spectacular!
30.07.2025 08:53 — 👍 0 🔁 0 💬 0 📌 0
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...
Nope. Nada. Same error messages. I hate Twitter's current governance!
21.11.2024 13:39 — 👍 0 🔁 0 💬 0 📌 0Not sure what the suggestion is. Should a replace particular lines in the script and then run it in the console? If so, which lines? Thx
21.11.2024 09:44 — 👍 0 🔁 0 💬 1 📌 0
This video troubles me, in a number of good ways...
youtu.be/LKiBlGDfRU8?...
Who'd have guessed?
www.qut.edu.au/news/realfoc...
Can anyone help find alternative ways to delete all my Twitter data without deleting my account (want to keep my handle there)?
17.11.2024 17:07 — 👍 0 🔁 0 💬 0 📌 0Nope, 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.
I was looking for a way to completely disengage from the social network formerly known as Twitter, but making sure that no one would ever get my handle. Now I know how. Thank you, Marcello, I am going to emulate you super soon!
15.11.2024 12:43 — 👍 1 🔁 0 💬 0 📌 0Happy Festivus! 🥅
23.12.2023 18:40 — 👍 0 🔁 0 💬 0 📌 0This search for a valid aternative to Twitter must end at some point...
04.11.2023 17:18 — 👍 4 🔁 0 💬 0 📌 0
