A reminder that this will start in ~3 hours. (And if you just joined and are worried you won't get the zoom link in time, feel free to email me directly.)

Avi Wigderson was named the winner of the A.M. Turing Award for his foundational contributions to the theory of computation. trib.al/MvmRCPl

Avi Wigderson revolutionized our understanding of randomness in computing, discovered unexpected connections between fields of mathematics and computer science, and is also an amazing mentor and friend. Thrilled that he has won the 2023 Turing award.

awards.acm.org/about/2023-tur…

Huge congratulations to Avi!!! (I’m one of these people!… I didn’t do it, but Avi certainly makes it very tempting!…)

Of course the eclipse means that the moon is right next to the sun in the sky, and hence there is no visible moon at night (a 'new' moon). In religions with lunar (or solar-lunar) calendars, this signals a new month (moonth).

Hence Ramadan ends today in Islam, as does the 'leap…

Oops I did it again 🤭

#TotalSolarEclipse

An eclipse made Albert Einstein the most famous scientist in the world.

On November 7, 1919, British astronomer Arthur Eddington announced the results of his photographs of a recent total solar eclipse. He was testing whether a prediction made by a relatively unknown German…

Here's the current state of this project. A lot left to do.

But notice this one little node over here in green. That's the Prime Number Theorem. It is now formalized in Lean!!!

The remaining 2% will be emailing me their solutions once a week for the rest their lives…

This Thurs April 11th at 12 pm (Eastern), we will have an All-Members meeting of the Association for Mathematical Research Association for Mathematical Research.

We will discuss the various projects (e.g., starting new Diamond Open Access journals, publishing freely-downloadable books, etc etc) we’ve been…

I was quite saddened watching this. (Of course the whole state of affairs in academia is quite sad; another discussion for another time.)

But perhaps Math is the last true bastion of academic freedom. (That's not too unusual, I guess; it was even the case in the Soviet Union,…

Join the Lean FRO as a Principal Engineer!
Apply here: jobs.lever.co/convergentrese…

For teachers/parents who want to hear more more about the importance of memorizing math facts, I covered this in Episode 20 with Matthew Burns starting at 30:26. open.spotify.com/episode/277F6u…
We also put together resources for helping kids to memorize math facts here:…

Anybody have an earthquake just now?

Way to go Ben!!! What a beautifully done video! It was so fun to chat with you, and looking forward to lots more amazing content from you!!

We are delighted to announce that this summer, we will be bringing a branch of the Wayne State University Math Corps program to Rutgers SAS Mathematical & Physical Sciences (MPS)!

mathcorps.org

This is a tuition-free summer math camp that's been running extremely successfully for over 30 years in the Detroit area, and has…