Joined December 2019
521 Photos and videos
Pinned Tweet
"Pessimism of the Algebra, optimism of the Geometry"
9
6
97
it's so beautiful that you can just so clearly see the inspiration for samurai jack up and down in this
From: The Little Prince and the Eight-Headed Dragon (1963), dir. Yugo Serikawa, Toei Doga
22
2,647
25,086
404,338
Simon Pepin Lehalleur retweeted
Dario Amodei was at a wellness retreat with the Anthropic polycule. You might disagree. You might even have some evidence to the contrary. But you have to ask yourself: is this really worth losing my government contracts over? Dario Amodei was at a wellness retreat.
37
37
1,203
71,056
Simon Pepin Lehalleur retweeted
Relatable. I miss those days, though. It becomes a chauffeur and cash register when they’re older.
6
21
405
24,047
Simon Pepin Lehalleur retweeted
Lmao
Jun 13
This is GOLD lmao
68
1,791
27,192
616,455
Simon Pepin Lehalleur retweeted
Type of guy who knows all the different subtleties of RL algorithms but thinks regulation has two settings (do nothing and capriciously nuke a company)
11
13
198
7,659
Simon Pepin Lehalleur retweeted
i hope elon doesn't let the money change him
116
1,761
35,133
428,924
Simon Pepin Lehalleur retweeted
1
5
34
2,121
Simon Pepin Lehalleur retweeted
Marco Rubio finding out he has to be the CEO of Anthropic after it gets nationalized
102
654
15,611
482,475
Simon Pepin Lehalleur retweeted
how am I just learning that the word "matrix" literally means womb and it was chosen because it "births determinants"
12
51
535
16,848
Simon Pepin Lehalleur retweeted
Jun 12
My favorite such joke:
old joke: four rabbis are arguing doctrine. its 3 against 1. the odd one out asks God for a sign that he’s correct. it snows. the 3 dismiss it. it thunders. the 3 dismiss it. finally a voice calls from heaven, “hes right”. so one of the rabbis says: “alright, now its 3 against 2”
7
114
3,768
166,251
Simon Pepin Lehalleur retweeted
Reminder that the last 12 months are plausibly the least crazy months of AI for the rest of your life! It's only getting crazier from here ...
2
27
350
10,105
Simon Pepin Lehalleur retweeted
Jun 13
This is, perversely, good news for Britain, Australia, Japan, Europe, and other countries being cut off that would once have seen themselves as close allies of the United States. It shows us what the future may hold if AI is the strategically and economically decisive technology of the 21st century and is controlled by the US and China. It is good news because *it may be happening early enough to give us time to act.* I think this will be rescinded pretty soon, but it’s a sign of things to come. In a future where frontier models cannot be used outside the US, our industries and economies will fall behind and American businesses may not be able to operate overseas. We won’t be able to defend ourselves militarily with defence systems built on obsolete software. Europe 2031 is a good scenario of what a future like this could mean: europe2031.ai Some of the things we need to do are ‘no regrets’ measures we should do anyway. But some are genuinely costly and risky. We need cheap electricity – powered by gas, coal (this is costly, coal is very bad), deregulated nuclear fission – whatever can provide *cheap, reliable, 24/7* power. This almost certainly excludes wind power, which is enormously expensive and unreliable. We need projects to be able to connect to the grid in days rather than years by paying for fast-track connections. We need to make it incredibly easy to build data centres, with the property taxes retained locally and hypothecated for local tax cuts so there is some direct benefit for locals. This doesn’t need to be nationwide. We need to create new regulatory regimes for innovative businesses that give them the right to hire and fire staff with ease. The difficulty and cost of firing staff is one of the main reasons Europe has fallen behind so badly. We need to create a parallel employment regime that companies and workers can opt in to: worksinprogress.co/issue/why… Even though I think it will probably fail, I think we should probably try to create a good, non-American frontier AI lab. I am quite pessimistic about this – even extremely well-resourced, innovative software companies are struggling to do this. But the stakes are so high that not trying seems foolish. One thing that might work in our favour is the number of brilliant AI engineers who are not US citizens, who under the current export controls do not have access to Mythos/Fable even if they live and work in the US. What happens to Demis Hassabis, Ilya Sutskever, Andrej Karpathy, and the many other Europeans, Canadians, etc who are working on AI models in Britain and America who are affected by this? I do not think we should force our own companies to use model, because this would exacerbate their economic weakness – this lab should have to compete on an even playing field. I am deeply sceptical that this can work, but we cannot rule it out. If we do it, it has to be able to pay US salaries, operate without political constraints. worksinprogress.co/issue/how… It is cope to tell yourself that Trump is an aberration or that these export controls are a one-off. To repeat, I think these specific controls will be lifted quickly and it will be easy to move on and forget it happened. But this is a look into a potential future. Every one of us that is not a US citizen is at risk. The standard political divides do not apply here; the question is whether you grasp the enormity of AI as a technology. We have to act!
The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees. The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance. Access to all other Claude models is not affected. We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible. Read our full statement: anthropic.com/news/fable-myt…
150
356
1,829
293,633
TIL about the Kan-Thurston theorem: any connected homotopy type X can be realized as the -construction of a K(G,1) with respect to a perfect normal subgroup of G. In particular X has the same (co)homology as K(G,1) (wrt any local system).
1
1
17
1,318
I suppose this shows that non-abelian groups are pretty complicated - at least if one believes that homotopy types are themselves pretty complicated!
1
1
123
Alternatively maybe the lesson (already familiar from algebraic K-theory) is that the -construction is complicated.
1
110
Simon Pepin Lehalleur retweeted
Man goes to doctor. Says he's depressed. Says life seems harsh and cruel. Says he feels all alone in a threatening world where what lies ahead is vague and uncertain. Doctor says, 'Treatment is simple. Great LLM Claude is online tonight. Go and talk to him. That should pick you up.' Man bursts into tears. Says, 'But doctor…you are Claude'
4
23
362
15,044
I am looking for a discussion of the geometric interpretation (using the Thom-Pontryagin construction) of the first few stable homotopy groups of spheres. The notes academicweb.nd.edu/~andyp/no… are really excellent, but they only go up to pi^s_2.

15
1,544
Simon Pepin Lehalleur retweeted
Replying to @klara_sjo
Everyone who's ever built a time machine has regretted it, and used it to go back in time, and prevent themselves from building a time machine. Happens all the time.
1
6
147
11,793