Objectively Random

Algo Trading, Strat, Macro. Math PhD (Erdős 3). Hon Reader@UCL. Created MSc Algo Trading (‘17-now), & teaching online. Too much street-side experience to list.

[Objectively Random @ObjRandom]

(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:
https://t.co/Ya5UNP08vP

[Objectively Random @ObjRandom]

@MM134509434 @TaraMoodi @Straigh60283313 @Soureh_design2 @s_m_marandi Indian fashion blogger said 30000 in the Guardian. Why can’t you even get your fake news correct? 🤡

[Objectively Random @ObjRandom]

@daniel_dsj2110 In fact, they are all future FT subscribers.

[Cara Lisette @CaraLisette]

Now I have an excuse to post my favourite ever twitter exchange again

[Objectively Random @ObjRandom]

@World_Insights1 Just ranking them is such a midwit take.

[Objectively Random @ObjRandom]

@miniapeur Susan Athey spoke about ML vs Econometrics. In ML they just want a good forecast. In Econometrics, they mostly care about significance and explanatory power. Similar take (but much later).
In Stats there are so many more bridges over time.

[Mathieu @miniapeur]

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: https://t.co/2PgqOfPeIc

[Objectively Random @ObjRandom]

@MichaelRosenYes https://t.co/ySEfuj2eIi works for lots of publications.

[Lance Fortnow @fortnow]

Ruixiang Zhang told me about MathHelm, a non-profit site from mathematicians for mathematicians to discuss AI generated math papers.

https://t.co/D9evneYO13

[anomali @Anomali210830]

Happy Pythagorean Theorem Day!

10/24/26

10² + 24² = 26²

This is the last one we’ll experience in our lifetime.

[Objectively Random @ObjRandom]

@richards1052 Ar-Raḥmān (الرَّحْمَٰن) is not derived directly from Hebrew; rather, it is a cognate derived directly from the same Semitic root, retaining the conceptual bridge between the sheltering warmth of the womb and the highest expression of mercy.

[Dan Roy @roydanroy]

Beautiful new result in statistical learning theory and probability: https://t.co/6CI1ZvNnPX

[Joseph Wang @josephwang]

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.

[Objectively Random @ObjRandom]

@aljhlester

[Objectively Random @ObjRandom]

@aRishisays @jnordvig Links to a few:
https://t.co/k6VJUNc4qT

https://t.co/diH8lFGcMr

[Ash Jogalekar @curiouswavefn]

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."

https://t.co/yCPsxNZtY6

[Rishi Mishra @aRishisays]

some light weekend reading. h/t our friends @ObjRandom and @jnordvig

[Objectively Random @ObjRandom]

@Kathleen_Tyson_ @RobRastapop @TheEconomist Prabowo was the one who agreed to overflights. It was shelved when the backlash was too high. He has joined the “Board of peace”. Hard to say he is an indecent thinker being ex-military implicated in personally killing opposition under Suharto. He is not like Joko.

[Azfar Rizvi @AzfarRizvi]

In 2018, The Washington Post ran a piece on where AIPAC came from.

It's worth reading slowly.

Oct. 1953: Israeli forces killed more than 60 civilians in the village of Qibya.

Time reported it.

The New York Times published U.N. findings refuting Israel's lies about it.

Eisenhower froze U.S. aid.

Dulles said so openly.

An ordinary country faces consequences.

This one (Israel) built a machine.

5 months later, the American Zionist Committee for Public Affairs (AZCPA 0was launched. It was later renamed AIPAC.

The Post's own subhead says it "was formed to spin positive PR after Israeli atrocities."

Not to question the atrocity. To manage the fallout.

Then came the model:

... Build a "united front" and treat any dissent as betrayal.

... Operate on the premise that "there was nothing Israel might do that would jeopardize American Jewish support."

... Worse, the article says the more disturbing Israeli behavior got, "the more Israel needed their ardent advocacy."

... Since the late 1970s, steer campaign money toward chosen candidates, creating "a unity that politicians have had to respect."

That last line is the whole story. Politicians learned that crossing this lobby has a price. So they stopped asking hard questions about where American tax dollars and American diplomatic cover go.

That is leverage over American policy, built after a massacre, and sustained for 70 years.

Notice the Post didn't say American Jews are a monolith. It said AIPAC works hard to create the perception of one, and punishes Jews who break from it.

An American public that funds this deserves to know the origin story.

The question isn't "why is this being said now?" It's "why did we stop saying it?"

[Bernie Sanders @BernieSanders]

AIPAC is now spending as much as $9 million against Abdul El-Sayed.

AIPAC is why we’re at war in Iran.

AIPAC is why the U.S. has supported genocide in Gaza.

We must say NO to AIPAC.

YES to electing Abdul as Michigan’s next U.S. Senator.

[Objectively Random @ObjRandom]

@RabbiEliyainwm @RabbiJeffx @grok