Mathematician and theoretical computer scientist, amateur choir singer and newbie Argentine Tango dancer and DJ. Currently accidental data scientist.
Joined September 2009
- Tweets2.8K
- Following240
- Followers177
- Likes1.6K
I could not not jump on the bandwagon. Let me introduce to you, "The Community Notes"
This somehow turned out to be my most popular post by a very long mile. And I just randomly did it on a whim. The one I spent way longer time, went through several iterations and cared way more about fell completely flat. Will never be good at this game xitter.gq/micbucci/status/212066…
May gramps @badlogicgames forgive me for this. Promise is the last one
Miko @[email protected] retweeted
JENSEN! THATS NOT WHAT WE MEANT BY CHINESE MODELS!!!!!!!
Miko @[email protected] retweeted
republicans in talks to be acquired by Bending Spoons
Don't you love how @theo crapped over the "Jester" model Gemini Argon and then in the whole video its votes were very much aligned with all the other models.
62
Massive loss for Ant
I’ve left Anthropic after more than a year of working on Claude Code and seeing it scale larger than I ever imagined.
I have really loved working at Ant and believe deeply in the mission, and most of all, the idea of a race to the top.
The idea that if we work hard and responsibly, we can raise the bar and inspire others to great outcomes. And if we all push each other to be better, things can be radically good. I will carry the spirit of this with me forever.
My colleagues at Anthropic are the most talented, thoughtful, competent, and earnest people I have ever met. I am glad they are at the wheel and trust them deeply.
To the community on X, thank you for everything. You’ve made this the most fun (and sometimes stressful) job I’ve ever had.
For me, it is time for a bit of a break before diving into something new.
If you want more excellent Claude Code content, you should follow @addyosmani , @lydiahallie, @_catwu, @ClaudeDevs and of course @bcherny who started it all.
42
That awkward moment when you find out that old school DnD characters are cryptographically more secure than the RNG of a CA...
30
Yo @1Password and @LastPass It would be nice for you to update your electron apps to a version of electron that is not vulnerable to the leaked cert forgery...
56
Yo! @ClaudeDevs mind patching Bun and the Claude electron app to avoid the leaked certificates?
1
1
62
The iOS @Uber app is becoming worse and worse. Not only it does not allow me anymore to choose the pickup spot, but it does not even show it on the map for me
83
Miko @[email protected] retweeted
Criticism of OpenAI's Big Bag of Slop released two days ago goes beyond the presentational problems I pointed out yesterday (🔽). Some colleagues have started looking into various proofs, and there are… issues. 🧵⤵️ •1/11
As expected, people are completely missing the point of my criticism of OpenAI's extremely sloppy presentation. Does it matter mathematically? No, of course not. But does it reveal something about the limitations of using AI for certain tasks? I certainly think it does. ⤵️
ALT Screenshot of a reply (by Ros Thain) to my quoted tweet, whose text reads: «Lol . We complaining about numbering and formatting now? 🙄»
ALT Screenshot of quote post (by “Cognitive Endomorphism”) to my quoted tweet, whose text reads: «we have a human to do the hard job of counting. guess mathematicians found their niche and their jobs are safe, for now.»
Still valid: extraordinary claims require extraordinary proof. I believe most of the 372 results will hold, but the burden is on OpenAI to convince experts.
30
> An even chonkier boi is munching on trillions of tokens at this very moment
LE CHATON FAT IS COMING
Some things to say about this model:
1. It's a good model in the actual usage sense. I've understood so much about Lacan and Merleau-Ponty in the last two days
2. I spent a non-trivial amount of time to make it good, and then to make it servable
3. We had a tattoo bet about its DeepSWE performance being over 60 (a capability I am responsible for) so I welcome tattoo parlour recommendations to send my colleagues to
4. I marvelled at how good some of my colleagues are at neural surgery under stress
5. An even chonkier boi is munching on trillions of tokens at this very moment
mistral.ai/news/mistral-larg…
57
What engineers talking actual software engineering? In this economy?
Welcome to our Monday Meditations! 🌞
Today @badlogicgames and @mitsuhiko are talking why we built Pi Durable, a harness build around a small task-based workflow engine so long-running, multiplayer agents can suspend and resume anywhere. Also: why not Temporal or Effect.ts.
51
Reminder: a_n = (a_(n-1) +2) / 2 is
1. Recursive
2. Strictly increasing
And it tends to 2.
This is about RSI
24
Reminder n. 2: A polynomial or an S curve looks **exactly** like an exponential until it does not
21