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.

London, UK
Joined April 2009
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…
15
91
2
1,285
136,795
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…
1
13
73
1,991
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
2
14
50
5,813
Objectively Random retweeted
Happy Pythagorean Theorem Day! 10/24/26 10² + 24² = 26² This is the last one we’ll experience in our lifetime.
427
51,276
1,471
271,115
3,095,824
Objectively Random retweeted
Dan Roy
@roydanroy20h
Beautiful new result in statistical learning theory and probability: arxiv.org/abs/2610.24336
3
32
2
291
30,068
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.
(((DeanObeidallah)))
@DeanObeidallahOct 23
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…
25
91
3
730
37,963
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…
3
15
2
115
10,499
Objectively Random retweeted
some light weekend reading. h/t our friends @ObjRandom and @jnordvig
2
3
18
2,946
Objectively Random retweeted
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?"
26
979
44
1,840
36,863
Objectively Random retweeted
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.
4,234
10,382
486
63,378
1,930,692
Objectively Random retweeted
It is a weird weird year to be a formal methods expert. Some unorganized thoughts on the new @AnthropicAI and @theoremlabs post on formal verification (anthropic.com/research/forma…): - This is very cool. - The main innovation is verifying a later stage of the program. Normally provers take the source code, LLM it into a theorem language, and then prove that, which means you have to make assumptions about source semantics and compilation properties. It's very easy to make a mistake in translating and prove the wrong thing! What they instead do is compile the code into assembly, and then (if I understand this correctly), compile that assembly into a theorem language (which they call LPS). So as long as the compiler is faithful you can skip the whole divergence problem. - I'm glad they clarify that you still have to trust the translation process, the "hardware, OS, OCaml" compiler, the LPS model, and also assume that the program is single threaded with fixed memory. The single biggest source of errors in formally verified code is when the proof assumes something that isn't true in practice. It's really, really important to state your assumptions! - I'm not clear why they need to compile the fuzzer into the theorem. Is it to act as a description of valid inputs and workload? Maybe to embed assertions in as theorems? - Holy crap, 180 million lines of Rocq. Is that more Rocq than exists in the world already? I notice they say a 600,000 line proof corresponds to roughly 20k CPU instructions. That would be like, 1-2k lines of source code at most? Really goes to show how inefficient this approach is and how it only works because you can throw LLMs at the problem. - This, probably deliberately, doesn't address the single biggest gap in AI-based verification: AIs cannot come up with good properties. Doesn't matter if you're doing unit testing, property testing, formal verification. I always assumed this was a "frontier labs haven't trained for it yet" thing, but if Anthropic hasn't talked about that here, maybe they've tried and haven't been successful yet. That's interesting to me. Instead, they take a known universal property (this code doesn't crash or get flagged by UBsan) and prove that instead. Still very useful, but makes it harder to generalize to proving arbitrary things about arbitrary programs. - Anybody reading the official post should also read their expert review appendix (www-cdn.anthropic.com/files/…). It points out some interesting things, like the fact that most of the code the LLM wrote wasn't used in the proof (over one billion lines of Rocq), that they had to prove the equivalence between fuzzed and unfuzzed programs, and (this is most interesting), some experiments find that the LLM-method of proofwriting may not scale to more complex things. - Also read the description of LPS (github.com/theorem-labs/oss-…) to understand the limitations of the assembly -> Rocq compilation. In particular, it does not handle concurrency at all (which is one of the main use cases for formal methods!) or OS signals. Also it can't prove things about program arguments with slash characters, meaning they can prove stuff about `rm foo` but not `rm foo/bar`. - The official skill (github.com/theorem-labs/oss-…) doesn't tell us much about the nature of FM and AI. Probably too much for me to hope of any skill. - Some of the article's specific caveats and throat clearings make me think someone at Anthropic reads my stuff ( ͡° ͜ʖ ͡°)
35
113
10
744
185,407
Objectively Random retweeted
increasingly concerned that ai is revealing the mathematical world as negatively curved. instead of everyone wandering about in idea-space and clustering around the same famous conjectures (local positive curvature), ai is pushing out the boundaries rapidly and revealing that the space of mathematical ideas is ~hyperbolic (negative curvature). though this means there's lots left to discover, it also means that small separations between people/agents will lead to wandering alone. we may be emerging into an idea-space where there's so much to see and do but everyone is alone in a private heaven, unable to share their subtle joys with others...
194
164
66
2,287
343,649
Objectively Random retweeted
全世界包括清北的编程课程都应该向斯坦福的CS146S Fall 2026看齐!这门课相比一年前的Fall 2025已经砍掉了85%的内容,可以知道编程领域进展有多恐怖了,如果还停留在教科书十年不需更新的幻觉中,可想而知会多落后了! 两版课纲我逐周对了一遍: 第 1 周:教你怎么写 prompt → 200 行代码手搓一个 Claude Code 期末项目占分:80% → 50% 给真实开源项目提 PR:0 → 30% 去年还单独讲一周的 AI IDE、Warp 终端、一句 prompt 生成整个应用,今年全部都拿掉。 取而代之的是 Agent Skills、CLAUDE.md / AGENTS.md / hooks、agent-ready 代码库、后台并行 agent、MCP portal 和模型路由,最后一周单独讲软件工厂。 刚入门的话,我建议从第 1 周跟起: 9/22 那节 200 行手写 coding agent,slides 和完整代码都公开了,最核心的是 agent 原型—— read / write / edit / bash 四个工具加一个循环 9/24 拆主流 coding agent 的 system prompt,原始 prompt 文件也已放出来 如果已经天天跟 coding agent 打交道,前几周大概率扫一眼就行,我会重点盯这几块: - 嘉宾:SpaceX SI负责人 @leerob、Claude Code之父 @bcherny 已经分享完,10/22 轮到 Factory 的 CTO @EnoReyes,后面还有 Cognition、Semgrep、Cloudflare、Replit 等的 @amasad 和 @eladgil - 第 9–10 周:大团队怎么落地,MCP portal、LLM gateway、模型路由、成本优化 - 前五周的阅读清单,凑起来就是一份 2026 版 agent 工程书单 30% 的开源分也很有意思:Vercel、Semgrep、OpenHands、Unsloth 等 15 个开源项目给学生做指导,PR 直接往生产级代码库里提,这在大学课程里还是头一回。 课程材料陆续公开,不是斯坦福学生也能跟:themodernsoftware.dev 后面几周的嘉宾分享我会边看边拆,关注我,第一时间同步最佳实践🫡
I’m excited to finally announce the newest edition my Stanford course 𝗧𝗵𝗲 𝗠𝗼𝗱𝗲𝗿𝗻 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝘃𝗲𝗹𝗼𝗽𝗲𝗿. It has been 9 months in the making. Last November, with the release of Claude Opus 4.5, coding agents experienced a step function improvement in capability. We all felt it. The LLMs were more powerful, could reason for longer, solve harder tasks. This year’s iteration of my course reflects the 2026 metamorphosis of software engineering. My core belief is simple: AI-native developers of the LLM era are going to become the most important members of any software organization. I have designed my course to train this next generation of engineers. 𝗪𝗵𝗮𝘁’𝘀 𝗱𝗶𝗳𝗳𝗲𝗿𝗲𝗻𝘁 𝘁𝗵𝗶𝘀 𝘁𝗶𝗺𝗲 𝗮𝗿𝗼𝘂𝗻𝗱 First, 85% of my Fall 2025 class material is being thrown out. The Fall 2026 syllabus reflects the core capabilities AI-native engineers must have: agent skills, advanced context engineering, MCP portals, agent-ready codebase principles, agentic code review, security, parallelizing background agents, software factories, and more. Second, I am going to teach my students how to have software taste. Every student will be required to ship pull requests to production-grade, real-world codebases. The course is collaborating with the top open-source AI repos who will offer support and mentorship to students on how to meaningfully contribute to their projects. This has never been done before in any university course so I am incredibly grateful to our OSS Partners: @browserbase, @HeyGen, @CopilotKit, @semgrep, @OpenHandsDev, @milvusio, @marimo_io, Pi, @crewAIInc, @warpdotdev, @vercel, @cmux, @arizeai, @UnslothAI, and @anyscalecompute. 𝗪𝗵𝗮𝘁’𝘀 𝘀𝘁𝗮𝘆𝗶𝗻𝗴 𝘁𝗵𝗲 𝘀𝗮𝗺𝗲 I’m fortunate to again have AI software engineering leaders and founders as guest speakers to share their learnings from building top coding agent products. Thank you to @leerob from @cursor_ai, @bcherny of @claudeai code, @EnoReyes of @FactoryAI, @silasalberti of @cognition, @0xine of @semgrep, Rajesh Bhatia of @Cloudflare , @amasad of @Replit, and @eladgil. All resources will be available online. All classes will be available to the public. 9/22 on Stanford campus. See you in class.  themodernsoftware.dev/
164
702
26
3,575
218,507
Objectively Random retweeted
I’m excited to finally announce the newest edition my Stanford course 𝗧𝗵𝗲 𝗠𝗼𝗱𝗲𝗿𝗻 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝘃𝗲𝗹𝗼𝗽𝗲𝗿. It has been 9 months in the making. Last November, with the release of Claude Opus 4.5, coding agents experienced a step function improvement in capability. We all felt it. The LLMs were more powerful, could reason for longer, solve harder tasks. This year’s iteration of my course reflects the 2026 metamorphosis of software engineering. My core belief is simple: AI-native developers of the LLM era are going to become the most important members of any software organization. I have designed my course to train this next generation of engineers. 𝗪𝗵𝗮𝘁’𝘀 𝗱𝗶𝗳𝗳𝗲𝗿𝗲𝗻𝘁 𝘁𝗵𝗶𝘀 𝘁𝗶𝗺𝗲 𝗮𝗿𝗼𝘂𝗻𝗱 First, 85% of my Fall 2025 class material is being thrown out. The Fall 2026 syllabus reflects the core capabilities AI-native engineers must have: agent skills, advanced context engineering, MCP portals, agent-ready codebase principles, agentic code review, security, parallelizing background agents, software factories, and more. Second, I am going to teach my students how to have software taste. Every student will be required to ship pull requests to production-grade, real-world codebases. The course is collaborating with the top open-source AI repos who will offer support and mentorship to students on how to meaningfully contribute to their projects. This has never been done before in any university course so I am incredibly grateful to our OSS Partners: @browserbase, @HeyGen, @CopilotKit, @semgrep, @OpenHandsDev, @milvusio, @marimo_io, Pi, @crewAIInc, @warpdotdev, @vercel, @cmux, @arizeai, @UnslothAI, and @anyscalecompute. 𝗪𝗵𝗮𝘁’𝘀 𝘀𝘁𝗮𝘆𝗶𝗻𝗴 𝘁𝗵𝗲 𝘀𝗮𝗺𝗲 I’m fortunate to again have AI software engineering leaders and founders as guest speakers to share their learnings from building top coding agent products. Thank you to @leerob from @cursor_ai, @bcherny of @claudeai code, @EnoReyes of @FactoryAI, @silasalberti of @cognition, @0xine of @semgrep, Rajesh Bhatia of @Cloudflare , @amasad of @Replit, and @eladgil. All resources will be available online. All classes will be available to the public. 9/22 on Stanford campus. See you in class.  themodernsoftware.dev/
271
1,535
176
10,289
1,516,570
Objectively Random retweeted
New Essay I spent many weekends this year on automated theorem proving with AI + Lean, only for the Bitter Lesson to reign supreme. Some reflections on the OpenAI Math Repo and the short, one-summer window of human-AI collaboration in mathematics. essays.johnloeber.com/p/34-b…
12
16
4
135
23,466
Objectively Random retweeted
Anthropic
@AnthropicAIOct 22
New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full here: anthropic.com/research/forma…
625
1,045
606
9,579
1,944,715
On Lindsey Graham. Stay with me on this. The worst kept secret in Washington DC came out today because 3 brave men came out and told the truth and it doesn’t matter if it is after he’s dead. Brave? Yes brave. Why are they brave? They had to go on camera and tell intimate details of their personal lives. To the world. That is extremely difficult to do. Yes it’s brave. And Stressful. They walked into the public square opening themselves to the opinions of the entire world. No matter your opinion on the issue, they took a courageous leap in coming forward. If you are critical, would you go on camera and tell your secrets to the entire world? I would bet a lot of money you wouldn’t. Ok but there is more to this. Because this is the world I saw up close in Washington. I saw behind the curtain and saw ALL the wizards. Everyone in the highest levels of power in Washington DC are keeping secrets that would destroy their entire lives. And that’s exactly why they have power. Not because they are so smart or qualified or the best choice for leadership. I mean really, if you think our best and brightest are in charge then do some critical thinking and look at the pathetic state of our debt, our dollar, and how our government is run, and the outcome that affects your life. Their secrets are the only reason these people rise to the top. Because their secrets are not secrets. We all knew Lindsey Graham was gay. Everyone did. Their secrets are levers of control. Keeps them in line. Makes them a team player. And will make them fight the hardest on issues that don’t make sense in order to keep their secrets just that. Secrets. So everyone is arguing about how this is old news, why now? Or arguing about being gay, and gay issues. Or arguing because that’s what everyone does on the internet, just argue with each other and with bots about issues they don’t have the real truth on, but throw out their strongest opinion anyways. I’m here to tell you the granular issue you need to dial in on and block out the rest of the noise. Three gay men just bravely pulled back the curtain and tried to teach you all the most important lesson America needs to learn. It’s this. America’s most powerful leaders keep secrets that comprise them in the most dangerous ways for the security, safety, and prosperity of our nation. That’s the whole point. I tried my hardest to fight the entire system on both sides of the aisle and couldn’t beat it because YOU ALL keep voting these people back into office and back into power. By the way, I always cosponsored the Term Limit bill and no matter who is in charge, Pelosi, McCarthy, or Johnson, Dem or Rep, that bill never ever got even close to getting a vote on the House floor. So the question for you, The American People, is are you able to learn the lesson and if so, what exactly are YOU going to do about it? Ask yourself, what are you voting for? Donating to? Volunteering for? And are you really satisfied with the outcome election cycle after election cycle?
5,057
4,219
551
29,012
3,924,718
Objectively Random retweeted
The next time Nick Clegg in invited onto BBC to pontificate as an independent tech expert…please note that here he is, named in the $27bn New Mexico judgment as one of execs engaged in a systematic cover-up of Facebook’s deceptive consumer practices.
Woah! Go New Mexico. This is a really important message to Silicon Valley tech companies: you are not above the law
44
3,048
44
7,088
77,566
Objectively Random retweeted
It's happening. We're finally moving from the artisanal, bespoke world of chalkboard mathematics to large-scale industrialization in the mathematical sciences. current.fas.harvard.edu/stor…
5
4
2
55
15,371