Nash Rafeeq 纳什
@nashrafeeg
Founding partner @4NTech_, digital plumber, Techno-optimist, cat herder, e/acc, Marchioness of fares mathoda 🇲🇻🇲🇾🇰🇷
ID:19155369
18-01-2009 19:49:23
102,8K Tweets
3,2K Followers
3,1K Following
Follow People
Dan Shipper 📧 hallucination
In part because you phrased it as a polite question, which “no” is a valid answer to.
I will have to go on Pirate Wires to explain the day that was December 1st 2023 from my personal POV.
A triple threat of Decels combining to flip over my life.
The timing is truly insane.
Calling it Decelber 1st, the day that almost debased Beff.
The Gowers-Green-Manners-Tao proof of Marton's polynomial Freiman-Ruzsa conjecture terrytao.wordpress.com/2023/11/13/on-… has now been completely formalised by a team led by Tao. It took three weeks! The project was run on the Lean Zulip; here's Tao's announcement leanprover.zulipchat.com/#narrow/stream… .