Alon Amit (@alonamit) 's Twitter Profile
Alon Amit

@alonamit

Math something, Product something, VP @intuit, previously @origamilogic @facebook @google. He/him, though sometimes I wish

ID: 14534246

linkhttp://www.quora.com/Alon-Amit calendar_today25-04-2008 20:59:29

1,1K Tweet

2,2K Followers

180 Following

Alon Amit (@alonamit) 's Twitter Profile Photo

If the horrific events aren’t enough, we have those insane clowns to content with here. Unfathomable levels of ignorance, psychopathic lack of human empathy.

If the horrific events aren’t enough, we have those insane clowns to content with here. Unfathomable levels of ignorance, psychopathic lack of human empathy.
adam singolda (@adamsingolda) 's Twitter Profile Photo

I'm sad to read this. Because I went to Web Summit LLC for years, and I met Paddy Cosgrave a bunch of times. A week into the war, when mothers are seeing their babies burned alive by terrorists, when nearly 200 people are still kept hostage, away from their families, when Hamas

I'm sad to read this. Because I went to <a href="/WebSummit/">Web Summit</a>  LLC for years, and I met <a href="/paddycosgrave/">Paddy Cosgrave</a> a bunch of times. A week into the war, when mothers are seeing their babies burned alive by terrorists, when nearly 200 people are still kept hostage, away from their families, when Hamas
Tal Kenty Katz (@kentykatz) 's Twitter Profile Photo

This is one story out of thousands, a story about a human-loving Israeli citizen, and a mirror image for the beautiful in Israel, a heroic young man whose life was prematurely cut short by a bloodthirsty terrorist organization and the destroyers of humanity. 31-year-old Ben

This is one story out of thousands, a story about a human-loving Israeli citizen, and a mirror image for the beautiful in Israel, a heroic young man whose life was prematurely cut short by a bloodthirsty terrorist organization and the destroyers of humanity.
31-year-old Ben
ניר אבישי כהן - نير أَ. كوهين (@niracohen77) 's Twitter Profile Photo

עד עכשיו התעלמתי מכל מיני הזויים שהסיתו ופירסמו עליי שקרים, חלקם אפילו קראו לתלות אותי על עמוד. אבל בעקבות עשרות הודעות שקיבלתי היום על הפוסט שבתמונה, החלטתי להגיב. הפוסט הזה קיבל תוך כמה שעות מעל 4000 שיתופים.  הקדמתי את חזרתי מחו"ל כדי להתגייס בצו 8, נסעתי משדה התעופה ישר לצבא,

עד עכשיו התעלמתי מכל מיני הזויים שהסיתו ופירסמו עליי שקרים, חלקם אפילו קראו לתלות אותי על עמוד. אבל בעקבות עשרות הודעות שקיבלתי היום על הפוסט שבתמונה, החלטתי להגיב. הפוסט הזה קיבל תוך כמה שעות מעל 4000 שיתופים. 
הקדמתי את חזרתי מחו"ל כדי להתגייס בצו 8, נסעתי משדה התעופה ישר לצבא,
Israel Defense Forces (@idf) 's Twitter Profile Photo

“Look how many I killed with my own hands! Your son killed Jews!” Listen to a phone call of a Hamas terrorist calling home, bragging about how many people he massacred. The whole world needs to hear this.

Jan Franke (@franke_schrijft) 's Twitter Profile Photo

CAUTION - I have been to the Al Shifa hospital several times as a reporter during the #Israel #Gaza war in 2014 and also afterwards. It is a vast complex. I have personally seen #Hamas fighters there. Everyone in #Gaza including #UN staff knows about dual use of these facilities.

Alon Amit (@alonamit) 's Twitter Profile Photo

The BBC just can’t help but make those tiny little subtle errors, like replacing “included” (to help) with “targeted” (to murder). Top notch journalism. And always to one side.

Alex Kontorovich (@alexkontorovich) 's Twitter Profile Photo

This is just wild! Nov 9: Timothy Gowers @wtgowers, Green, Manners, and Tao prove the polynomial Freiman-Ruzsa conjecture in char 2. arxiv.org/abs/2311.05762 Nov 18: Tao announces that he wants to formalize it in Lean, building on Mathlib. terrytao.wordpress.com/2023/11/18/for… Dec 4: One little theorem

This is just wild!

Nov 9: <a href="/wtgowers/">Timothy Gowers @wtgowers</a>, Green, Manners, and Tao prove the polynomial Freiman-Ruzsa conjecture in char 2. arxiv.org/abs/2311.05762

Nov 18: Tao announces that he wants to formalize it in Lean, building on Mathlib. terrytao.wordpress.com/2023/11/18/for…

Dec 4: One little theorem
Alex Kontorovich (@alexkontorovich) 's Twitter Profile Photo

A day later, and another major Mathlib project is complete: Fermat's last theorem for "regular" prime exponents! Main contributors: Alex J. Best, Chris Birkbeck, Riccardo Brasca, Xavier Roblot, Eric Rodriguez, Ruben Van de Velde, Andrew Yang github.com/leanprover-com… Lean FTW!

A day later, and another major Mathlib project is complete:

Fermat's last theorem for "regular" prime exponents!

Main contributors: Alex J. Best, Chris Birkbeck, Riccardo Brasca, Xavier Roblot, Eric Rodriguez, Ruben Van de Velde, Andrew Yang github.com/leanprover-com…

Lean FTW!
Albert Bourla (@albertbourla) 's Twitter Profile Photo

I was ashamed to hear the recent testimony of 3 top university presidents. In my personal opinion, it was one of the most despicable moments in the history of U.S. academia. The 3 Presidents were offered numerous opportunities to condemn racist, antisemitic, hate rhetoric and

I was ashamed to hear the recent testimony of 3 top university presidents. In my personal opinion, it was one of the most despicable moments in the history of U.S. academia. The 3 Presidents were offered numerous opportunities to condemn racist, antisemitic, hate rhetoric and
Grant Sanderson (@3blue1brown) 's Twitter Profile Photo

Here's the challenge mode for all you math whizzes. Sample three numbers x, y, z uniformly at random in [0, 1], and compute (xy)^z. What distribution describes this result? Answer: It's uniform! I know how to prove it, but haven't yet found the "aha" style explanation where it

Iddo Drori (@iddo) 's Twitter Profile Photo

Excited to share our latest research on Diverse Inference and Verification for Advanced Reasoning, from BU, Google, Intuit, Columbia University, MIT, and Stanford, with significant results on the IMO, ARC, and HLE. #AGI arxiv.org/pdf/2502.09955 Enjoy!

Excited to share our latest research on Diverse Inference and Verification for Advanced Reasoning, from BU, Google, Intuit, Columbia University, MIT, and Stanford, with significant results on the IMO, ARC, and HLE. #AGI
arxiv.org/pdf/2502.09955
Enjoy!
Alon Amit (@alonamit) 's Twitter Profile Photo

Wonderful, Kekius Maximus. Making America Great by gutting research programs, sending your brightest students to seek their future in countries that value science and learning. Way to go.

Wonderful, <a href="/elonmusk/">Kekius Maximus</a>. Making America Great by gutting research programs, sending your brightest students to seek their future in countries that value science and learning. 

Way to go.