Pinned Tweet
(High Speed) Formally Verified Order Matching Engines
Provably correct code is no longer limited to just mission-critical systems. Now, formal proofs are at the heart of the revolution in mathematics and are making inroads in finance.
Sign up now:
topmate.io/quant_insider/225…
Objectively Random retweeted
Three paragraphs when two words would have done.
"Revolving door."
Mr Polanski, I know you have a reputation for being scrupulous about checking your facts, but you’ve missed an important detail.
My contract requires me to remain on leave from the Lords, surrender my parliamentary pass and forgo all access and voting rights for the duration of my employment at Palantir. I do not, therefore, take any whip.
I fear this makes me rather less useful to the whips’ office than you imply.
Objectively Random retweeted
If Trump had kept his campaign promises, the Epstein class would be getting prosecuted, there'd be no war in Iran or Ukraine, gas prices would be hitting new lows, real wages would be rising for the first time in nearly a decade, and the GOP would be adding seats in the midterms.
Objectively Random retweeted
Just in: IPSO has refused to investigate the Telegraph cartoon of Mothin Ali, the Green Party's Muslim deputy leader, grinning over a knife and fork at the severed head of Zack Polanski, its Jewish leader, who is drawn with a hooked nose. Nearly 1,200 of you complained.
IPSO's reason: the cartoon is about two individuals, so only Mothin and Zack can complain. How racist the drawing is doesn't come into it.
IPSO did not have to do this, and it has done the opposite before.
IPSO's rules let it take up a complaint from people other than the person written about, when the breach is significant, and there is a substantial public interest in looking at it.
In July 2023 it used that power. It ruled that Jeremy Clarkson's Sun column about the Duchess of Sussex was sexist, after complaints from two women's charities, the Fawcett Society and the WILDE Foundation. The Duchess did not complain.
The Telegraph's editor, Chris Evans, chairs the committee that writes the Editors' Code, which is the rulebook IPSO enforces.
The Telegraph is still selling prints of the cartoon today.
IPSO's rule says it may take up a complaint like this, not that it must. So this was a choice.
Picture a school. One boy draws two classmates, a Muslim boy and a Jewish boy. He gives the Jewish boy a hooked nose and puts his head on a plate, and draws the Muslim boy about to eat it. He pins the picture to the noticeboard and sells copies at the gate.
A thousand pupils go to the head teacher. She tells them she can only act if the two boys in the picture come to her themselves.
So the picture stays on the board, and every Muslim and Jewish child in the school walks past it each morning. The boy who drew it learns he can do it again.
And the rulebook the head teacher is reading from was written by a committee his dad chairs.
Nobody would say that head teacher is protecting the children. She is protecting the boy who drew it.
That is what IPSO has done. It says it regulates the Telegraph, and it has just told nearly 1,200 people that a racist cartoon in a paper it regulates is not its business unless the two men drawn in it come and ask.
Objectively Random retweeted
Steve Bell was sacked by The Guardian over this cartoon of Benjamin Netanyahu.
Just in: IPSO has refused to investigate the Telegraph cartoon of Mothin Ali, the Green Party's Muslim deputy leader, grinning over a knife and fork at the severed head of Zack Polanski, its Jewish leader, who is drawn with a hooked nose. Nearly 1,200 of you complained.
IPSO's reason: the cartoon is about two individuals, so only Mothin and Zack can complain. How racist the drawing is doesn't come into it.
IPSO did not have to do this, and it has done the opposite before.
IPSO's rules let it take up a complaint from people other than the person written about, when the breach is significant, and there is a substantial public interest in looking at it.
In July 2023 it used that power. It ruled that Jeremy Clarkson's Sun column about the Duchess of Sussex was sexist, after complaints from two women's charities, the Fawcett Society and the WILDE Foundation. The Duchess did not complain.
The Telegraph's editor, Chris Evans, chairs the committee that writes the Editors' Code, which is the rulebook IPSO enforces.
The Telegraph is still selling prints of the cartoon today.
IPSO's rule says it may take up a complaint like this, not that it must. So this was a choice.
Picture a school. One boy draws two classmates, a Muslim boy and a Jewish boy. He gives the Jewish boy a hooked nose and puts his head on a plate, and draws the Muslim boy about to eat it. He pins the picture to the noticeboard and sells copies at the gate.
A thousand pupils go to the head teacher. She tells them she can only act if the two boys in the picture come to her themselves.
So the picture stays on the board, and every Muslim and Jewish child in the school walks past it each morning. The boy who drew it learns he can do it again.
And the rulebook the head teacher is reading from was written by a committee his dad chairs.
Nobody would say that head teacher is protecting the children. She is protecting the boy who drew it.
That is what IPSO has done. It says it regulates the Telegraph, and it has just told nearly 1,200 people that a racist cartoon in a paper it regulates is not its business unless the two men drawn in it come and ask.
Objectively Random retweeted
My mathematician daughter was browsing in a used bookstore this weekend ... and found this:
writings.stephenwolfram.com/…
The reclusive quant billionaire coming into the light
ft.com/content/bc6bba42-0b33…
Objectively Random retweeted
The mechanisms of Israel's control of the narrative among Americans are varied. But here's just one example.
This post is from @dinakraft, a journalist who reports on Palestine and Israel for mainstream outlets like @csmonitor.
She is one of the many Jewish American zionists who exercised their Jewish privilege to become Israeli colonizers on occupied Palestinian land, who are paid to "report" news from the region as if they were impartial journalists, rather than the ideologues they are.
Others like her include @Heidiphotos, who has been in the news lately for getting beaten up by Jewish settlers in the West Bank. She admits that Palestinians saved her life, but she doesn't seem to know their names, nor does she appear to have made any effort to find out who they are, or thank them. I'm also told by a reliable source that she lived (and may still live) in an old villa that was made into four apartments (likely stolen from the original Palestinian owners, as it sits immediately adjacent to a confirmed stolen Palestinian home).
AP's news director for Israel-Palestine, Josef Federman, is another one. The @TheGrayzoneNews reported on leaked files that showed him on a panel aimed at assisting “Israel’s ability to effectively portray its narrative” at an Israeli government event dedicated to destroying the BDS movement.
Isabel Kershner writes for the @nytimes. Like the "western reporters" there, she's a zionist colonizer whose children served in Israel's military.
There are still dozens more; too many to name, including some who are colonizers in West Bank colonies.
Are we supposed to believe there are no non-zionist journalists in the entirety of the American population who can report on this issue?
These aren't just reporters who "happen to be Jewish." They are literal zionist ideologues who live as Jewish colonizers and who get to determine the fate of this land while the actual indigenous people there do not.
Objectively Random retweeted
This article, by @stevenstrogatz for @TheAtlantic, is probably the most honest assesment of the current situation that you'll read. No one knows exactly how to move forward. What new training pathways will look like. How young mathematicians will develop the things the community have prized for generations like 'taste'. What they can say is that they are thinking very, very hard -- as if the future of the field depended on it. Because it does.
Objectively Random retweeted
I am back with a few thoughts.
I stopped reading all the trauma logs of mathematicians who recently got impacted by AI. Instead I switched to building a corpus of knowledge for why and how AI is interacting with mathematics.
I teach this term a new course here at Adam Mickiewicz University. It's title is "Computer assisted solutions to mathematical problems". I proposed it because I realized in the last 6 months something important.
A. It makes no sense to grieve the "good old ways". We should study to the bone how mathematics and computers interact. There are three levels: numeric, symbolic and formal.
B. The only way to prepare yourself for the rise of the technology is to understand it well. You cannot understand the progress of AI in mathematics if you don't know how the models are trained on the symbolic representation of mathematical proofs, how the training goes, why specific transformer architectures, reinforcement learning and basically a huge amount of incredible insights gives in practice some new value in mathematics.
C. It is incredibly fun to train your own models (yes I use generative models to help me build training pipelines too, otherwise I would not have enough lifetimes to do so).
D. The AIxMaths space is so incredibly complex - you have these weird, scalable token generating algorithms, recently in agentic form with memory, interactions etc. This is a field of study - we need to understand how it works. On the other hand, mathematics as a field of science is incredibly complex, people do very different kinds of axiomatic theories with their intuitions, tactics and strategies. This was never studied too seriously as a whole. We need to study it deeply.
So I am spending this term gearing up my students and myself for whatever is coming. We don't have any assumptions. I don't claim that models will become better at maths than all of human mathematicians. I don't think it's a good question. We just want to stay in the loop with the developments and see whether we can contribute to the change and see if this can be useful and productive.
I am looking forward to your feedback. The current plan contains the following topics:
- basic distinction between numerical computation, symbolic calculations and formal proofs
- basic understanding of the IEEE 754 standard and things around numerical computations
- how to build your own computer algebra system in Python and why it's so tricky
- why and how proof-checking software is important; we start with the basic principles of such designes, I plan to talk first about the foundations going back to Automath and the foundational work of de Bruijn.
- practical examples spanning real use cases of computer algebra, numerical integration and proofs in Peano arithmetic and how to read languages like Lean
- in the end I want to present some little post-trained models like Qwen which I taught how to do Peano arithmetic better and how they prove statements about this theory; there will be AlphaGeometry too and maybe a bit more about Mizar, Metamath and Lean. Just to give students some scope and perspective.
I plan to continue working on this course into a full book. I think I won't stop until I understand deeply why language models are currently so good at maths. It's something of utmost importance. It's important to see where this might stop and what lies beyond. I personally think these kind of questions will be the most important problems to answer by mathematicians themselves. We shouldn't stop until we find good answers to all of this. Reading AI slop is perhaphs a bit useful, but deep understanding of why it sometimes makes sense is even more challenging.
Objectively Random retweeted
מיותר לציין שאני מסכים עם כל דבריו של ברק @barak, אבל חשוב להוסיף כמה נקודות כדי להבין את עומק הכישלון האסטרטגי של המדיניות הישראלית מול איראן, ובעיקר את חלקו של נתניהו בהבאתנו למצב הנוכחי.
א. היציאה מהסכם הגרעין ללא אסטרטגיה חלופית הייתה טעות אסטרטגית הרסנית. במקום לבלום את תוכנית הגרעין האיראנית, היא אפשרה לטהראן להתקדם באופן דרמטי בתחום ההעשרה ולהגיע ליכולות שלא היו ברשותה בתקופת ההסכם.
ב. הניסיון להצדיק בדיעבד את המלחמות הקודמות בטענה שאיראן הייתה על סף השמדת ישראל באמצעות נשק גרעיני פשוט אינו מתכתב עם המציאות. מדובר בניסיון לייצר הצדקה למלחמה באמצעות הפחדת הציבור הישראלי, בלי שהוצגה תשתית עובדתית משכנעת לטענה שאיראן עמדה על סף השגת נשק גרעיני.
ג. נתניהו התעלם ביודעין מהשינויים הדרמטיים שהתחוללו בתוך איראן, ובמיוחד מהמשמעות של נשיאות חסן רוחאני, שביקש לאתגר כמה מהנחות היסוד של מדיניות המשטר, בעיקר ביחס למערב. היציאה מהסכם הגרעין החלישה את המחנה הפרגמטי באיראן, חיזקה את מתנגדיו וסייעה לחסל את האפשרות להתפתחותה של אלטרנטיבה פוליטית משמעותית בתוך המערכת האיראנית.
ד. המדיניות הישראלית לא רק שלא הצליחה לעצור את התקדמותה הגרעינית של איראן, אלא במובנים רבים דווקא האיצה אותה. מחיסולים, דרך פיצוצים במתקני הגרעין ועד התנגדות כמעט אוטומטית לכל אפשרות של הסדרה מדינית, התוצאה המצטברת הייתה שאיראן התקדמה עד לסף יכולת העשרה לרמה צבאית. במקום להרחיק את האיום, המדיניות הזו תרמה להחרפתו.
ה. חיסולו של עלי ח'אמנהאי היה שיאה של המדיניות המוטעית הזו. ח'אמנהאי לא היה פציפיסט, ובוודאי שלא היה ידיד ישראל, אבל הוא היה מנהיג זהיר יחסית בכל הנוגע להפעלת כוח צבאי ישיר ולחציית הרוביקון הגרעיני. הסרתו לא הבטיחה הנהגה מתונה יותר. להפך, היא תרמה להתחזקותם של גורמים קיצוניים יותר, ובראשם משמרות המהפכה, וליצירת מציאות מסוכנת יותר מבחינת ישראל.
ו. במקום למקד את המלחמה בטיפול בכ-460 קילוגרמים של אורניום שהועשר לרמה של 60 אחוזים, נתניהו רדף אחרי יעד בלתי מציאותי של הפלת המשטר האיראני. זאת באמצעות תוכנית חובבנית שהתבססה, בין היתר, על גורמי אופוזיציה דוגמת רזא פהלווי וגורמים המזוהים עם מחמוד אחמדינג'אד, מתוך הנחה מופרכת שניתן יהיה להביא לקריסת המשטר באמצעות תקיפות אוויריות ועידוד התקוממות פנימית.
והשורה התחתונה חמורה במיוחד.
מדיניות נתניהו תרמה להבאת איראן לסף יכולת העשרה לרמה צבאית. שתי המלחמות שנועדו לכאורה להסיר את האיום האיראני לא הכריעו את איראן, לא הביאו להפלת המשטר ולא פתרו את בעיית הגרעין. יתרה מכך, הן עלולות דווקא לחזק את הגורמים בטהראן הסבורים שרק נשק גרעיני יבטיח את הישרדות המשטר.
ועכשיו, אחרי כל הכישלונות הללו, נתניהו מבקש להוביל אותנו למלחמה נוספת. מלחמה שעלולה לגבות מחיר עצום בחיי אדם, בכלכלה ובמעמדה הבינלאומי של ישראל, בלי להבטיח את השגת יעדיה, ועם סיכון ממשי שתדחוף את איראן עוד יותר לעבר החלטה לפתח נשק גרעיני.
הגיעה העת לשאול כיצד ייתכן שאחרי שנים של מדיניות כוחנית, שתי מלחמות ומחירים אדירים ששילמה מדינת ישראל, אנחנו ניצבים בפני איום איראני שלא הוסר, ואולי אף הפך למסוכן יותר.
בשתי מילים: כישלון אסטרטגי.
אני מסקר את פעילותו של נתניהו בנושא איראן מאז חזר לשלטון ב-2009 הנה כמה עובדות חשובות:
1. איראן הגיעה בשנים האלה - במשמרת של נתניהו - קרוב יותר מאי פעם לפצצת אטום
2. במלחמת 12 הימים נתניהו וטראמפ גלגלו לאחור את תכנית הגרעין האיראנית באופן משמעותי
3. במלחמת פברואר 2026 נתניהו ניסה להפיל את המשטר האיראני והזניח כמעט לחלוטין את נושא הגרעין
4. חיסול מנהיג איראן חאמינאי בהוראת נתניהו הביא למינוי בנו שמתנער מכל העכבות שהיו לאביו לגבי ייצור פצצת אטום
5. מאז המלחמה האחרונה - במשמרת של נתניהו - איראן צועדת לכיוון שינוי בו היא תשאף ותפעל להשגת לנשק גרעיני באופן מוצהר
6. באיראן יש עדיין 450 קילוגרם של אורניום מועשר לרמה של 60 אחוז שלא טופלו כלל על ידי נתניהו וטראמפ במלחמה האחרונה
Objectively Random retweeted
Now I have an excuse to post my favourite ever twitter exchange again
🧵
Toby Young’s Free Speech Union (FSU) is reeling from internal grievances involving allegations of racism, workplace discrimination, and sexually inappropriate remarks by senior members of staff.
What? Surely not!
I'm old enough to remember when In January 2018, Toby Young was appointed to the board of the new universities regulator, the Office for Students, and his old tweets, mostly from 2009, quickly resurfaced.
He had tweeted “What happened to Winkleman’s breasts Put on some weight girlie”, asked “Do Padma’s breasts look bigger than normal?”, said a female MP had “quite a cleavage”, and joked of a woman pictured with him that he “had my dick up her arse”. He called lesbians “dykes” and George Michael “queer as a coot”.
He deleted around 50,000 tweets, a petition against him passed 220,000 signatures, and on 9 January he resigned, saying his appointment had “become a distraction”.
The just announced controversy claims that a key figure in the campaign group, the chief operating officer, Sigrun Olafsdottir, departed late last week after employees alleged that she told a junior member of staff she would “never hire a black person” as a part of a one-on-one meeting late last year.
The organisation’s legislative affairs director, Sam Armstrong, who is also head of communications for the Reform MP Robert Jenrick, has meanwhile been accused of making staff members uncomfortable by discussing the American actor Sydney Sweeney’s “assets” in a meeting with more than a dozen staff.
The claims cap a difficult period for the FSU, founded by the Conservative life peer Toby Young, and which critics see as a partisan rallying point for anti-woke grievance.
And they may complicate how the organisation seeks to publicly present itself, as a nonpartisan group that seeks to defend “free speech” from the overreach of censorious authorities – one which often raises money from its 50,000 members to do so.
In July, the Guardian reported that the US state department had allocated $5m to the international umbrella organisation that oversees the FSU, part of a larger effort by the Trump administration to promote rightwing causes in Europe. The state department appeared to withdraw this grant after the Guardian reported on the allocation.
In August, the Guardian reported on questions about the organisation’s practices around charity crowdfunding, centred on an instance in which the FSU appeared to raise £60,000 for a legal case that was ultimately fought pro-bono. Much of the FSU’s work consists of raising money for people who it argues have faced inappropriate consequences for exercising their right to free speech.
Lord Young told the Guardian that that case was “not handled on an exclusively pro bono basis”, saying there was another lawyer involved and the person whose case it was had separate legal costs.
These revelations have come alongside a period of internal turmoil. Eight members of the FSU’s small staff have departed within the past year. The Guardian understands that a crucial part of this disquiet has been the allegation of racism against Olafsdottir. The Guardian has spoken to multiple sources about these allegations and viewed documentation related to parts of the claims.
Employees complained that Olafsdottir was frequently “hostile” towards younger members of staff. This alleged hostility was said to occur during the FSU’s in-person gatherings.
The staff of the FSU work remotely but meet regularly for in-person events. These often take place at pubs and hotels, with some personnel said to drink heavily late into the night. Employees of the FSU described blurred boundaries and instances of aggression and discriminatory behaviour on the part of some senior staff during these sessions.
Olafsdottir and Armstrong declined to comment. Young told the Guardian he could not comment on “internal employment matters”.
(Continued...)
theguardian.com/uk-news/2026…
Objectively Random retweeted
I would like to draw attention to this excellent text by Leo Breiman, one of the inventors of random forests and the creator of bagging, titled “Statistical Modeling: The Two Cultures”.
In it, Breiman challenges the traditional statistical emphasis on specifying probabilistic models of data generation, advocating instead for a greater focus on predictive performance and algorithmic approaches. More than two decades later, his arguments remain remarkably relevant to the relationship between statistics and machine learning.
Link: projecteuclid.org/journals/s…
Objectively Random retweeted
Ruixiang Zhang told me about MathHelm, a non-profit site from mathematicians for mathematicians to discuss AI generated math papers.
mathhelm.org/about
Objectively Random retweeted
Happy Pythagorean Theorem Day!
10/24/26
10² + 24² = 26²
This is the last one we’ll experience in our lifetime.
Objectively Random retweeted
Beautiful new result in statistical learning theory and probability: arxiv.org/abs/2610.24336
Objectively Random retweeted
Wow. Commercial banks have KYC obligations and are under law enforcement, but i guess you can bypass that by having access to an account at a central bank. This takes 'off the books' transactions to a whole other level.
Netanyahu helped Kushner hide $1 billion in UAE funds at Israel's central bank, new book claims. This is from Israeli media ynetnews.com/article/b1avqqu…
Objectively Random retweeted
This review of Federer's "Geometric Measure Theory" by someone who was struggling to understand it for years is pure gold.
"It was only a couple of years ago, after writing a 1500 page book (now 2015 pages) on the foundations of differential geometry that I finally managed to get the gist of the first 8 pages."
amazon.com/portal/customer-r…
Objectively Random retweeted
some light weekend reading. h/t our friends @ObjRandom and @jnordvig




































