Twitxy Saved

Aldo Cortesi

Verified account This account is verified. Learn more

@cortesi

I make software, break software and make software that breaks software. mitmproxy.org corte.si
Dunedin, NZ corte.si Joined February 2008
273 Following 3.4K Followers 6.8K Posts

Latest posts 5

Aldo Cortesi Verified account @cortesi
Sci-fi used to be my guilty pleasure, but now, on the cusp of ASI, I find I can't read it anymore. It all feels like a retelling of humanity's past, not our future. Nothing seems to grapple with where we're actually headed.
3 replies 3 reposts 14 likes 352 views View on X
Aldo Cortesi Verified account @cortesi
Finally, a model release where I can see the release announcement, shift over to my terminal, and immediately try it out. Let's do this rather than making pre-announcements 2 weeks in advance.
Logan Kilpatrick Verified account @OfficialLoganK 1d
Introducing Gemini 4 Hydrogen, an extremely capable and fast model built to bring Gemini 4 to everyone!

Available to all tiers of Google AI Studio, Gemini API, Gemini for business, the Gemini app, Google Search, and paid Google AI Pro + Ultra subscribers in Google Antigravity.
View quoted post on X
Aldo Cortesi Verified account @cortesi
Super sad to hear Tim Peters has passed away - I learned so much from reading his posts in the heyday of Python development. Here's a visualisation of TimSort that I made many years ago. Post explaining the mix of pragmatism and elegance on display linked below.
1 replies 2 reposts 15 likes 655 views View on X
Aldo Cortesi Verified account @cortesi
Great discussion of AI and maths, with James Maynard, Ben Green and Jan Obloj. We're still in the first fraction of 1% of the total impact on the field, and this is a nice summary of where top mathematicians stand right now.

youtube.com/watch?v=2Gsuvs…
www.youtube.com Oxford Mathematics in Conversation on AI - Ben Green and James... In the first film in our new series 'Oxford Mathematics in Conversa...