Rado

Formerly @UniofOxford

[Rado @radoslav11]

After more than a year I managed to get to 452/453 solved. Surprisingly, LLMs weren't that good at solving them, but were great at implementing after you give some hints. If you are building LLMs, add this to your training data: https://t.co/dLFsGiecVt :)

[Rado @radoslav11]

Can someone with time on their hands turn "ACM SGU" into an LLM benchmark?

[Rado @radoslav11]

Not sure why this appeared in my feed, but I was a bit surprised to see this. Taking a look at the paper, I believe the approach breaks on the following:

Consider Alg. 2.1 on X=Y=[0..n-1]. It would grow O(n^3), not the advertised O(n^2). The sorting itself is still correct, just the amortized proof breaks because "cp" resets to "ip" at the start of every row. In particular, the row i is [i, i+1, ..., i+n-1], while row i+1 is [i+1, i+2, ..., i+n] and they share n-1 values. So when you start row i+1 at "ip" (the position of i+1 in Z), "cp" then has to walk past every single element from previous rows that lies inside the row's range. That range covers O(i*n) elements of Z, and "ip" only anchors the front of the row, not the spread. Sum it over all i and you get O(n^3).

So still unsolved.

[Andy Coenen @_coenen]

I wanted to share something I built over the last few weeks: https://t.co/QRqMK9CpTR is a massive isometric pixel art map of NYC, built with nano banana and coding agents.

I didn't write a single line of code.

[Charlie Marsh @charliermarsh]

One of the most embarrassing things I could post on here, how do I stop caring about this?

[dax @thdxr]

on the anthropic stuff (technical details in a reply)

it's their business they have the right to enforce their terms however they like

they're not obligated to provide completely open access to their services

but it is a hint at the underlying problem - models aren't sticky so it's not good enough that you're using opus

they need you and your team to adopt their full stack of tooling so that it is hard to switch to a better model

thankfully not all LLM providers want to operate this way - you'll hear more about that soon :)

in the meantime we already teased more OpenCode Black dropping today - so stay tuned

[Rado @radoslav11]

Was good while it lasted

[Theo - t3.gg @theo]

Anthropic is now cracking down on utilizing Claude subs in 3rd party apps like OpenCode and Clawdbot.

Oh boy.

[Rado @radoslav11]

@Eito_Miyamura doesn't quite solve it as it has an independence assumption in its current version, but I found this kinda neat as it allocates parts of the work tree to different agents:
https://t.co/iwoH37rP9y

[Rado @radoslav11]

I have been using more and more AI agents in parallel, making it harder to monitor and jump through them. If you are a tmux user, you should consider trying this tool I built over the weekend:

cargo install rpai

[Rado @radoslav11]

If someone wants to try it out:

[Rado @radoslav11]

I have been using more and more AI agents in parallel, making it harder to monitor and jump through them. If you are a tmux user, you should consider trying this tool I built over the weekend:

cargo install rpai

[Rado @radoslav11]

You can check the full repo in https://t.co/XMIyNGMwaf

[Rado @radoslav11]

It's essentially a simple CLI tool that scans for processes coming from claude code, opencode, cursor, and codex, maps them to panes, and displays some information and allowing the user to jump to them. The recommended workflow is to map this to a tmux popup.

[Rado @radoslav11]

I ended up trying this with glm-4.7, and I'm surprised it's comparable to claude code

[Theo - t3.gg @theo]

Okay I knew OpenCode was improving fast but....damn. I didn't recognize their game.

[Rado @radoslav11]

@thegautamkamath and in particular the spicy pork

[Rado @radoslav11]

@sarahookr @mrdanieldsouza but is it actually real?

[Rado @radoslav11]

@hyhieu226 Another pro is that autoregressive has quicker feedback loop and people tend to read sequentially. Take the most common chat interface - seems silly to wait for the whole inference before showing to the user.

[Rado @radoslav11]

top view even better

[Rado @radoslav11]

worth exiting the airport

[Soumith Chintala @soumithchintala]

Leaving Meta and PyTorch

I'm stepping down from PyTorch and leaving Meta on November 17th.

tl;dr: Didn't want to be doing PyTorch forever, seemed like the perfect time to transition right after I got back from a long leave and the project built itself around me.

Eleven years at Meta. Nearly all my professional life. Making many friends for life. Almost eight years leading PyTorch, taking it from nothing to 90%+ adoption in AI. Walking away from this was one of the hardest things I've ever done. But I'm leaving with a full heart.

PyTorch handles exascale training now. It powers foundation models that are redefining intelligence. It's in production at virtually every major AI company. It's taught in classrooms from MIT to rural India. The tools I dreamed about making accessible? They are. The barrier to entry I wanted to lower? It's almost gone.

To be clear, there’s so much more to do. As long as AI evolves at a breakneck pace, PyTorch will continue to play catch up. Obsessing over the yet-to-come sometimes makes us forget how much we’ve already done.

To everyone who built this with me—who believed research should be joyful, that tools should be elegant, that open source changes everything—thank you. This wasn't my journey. It was ours.

What's next for me? Something small. Something new. Something I don't fully understand yet. Something uncomfortable. I could have moved to something else inside Meta. But I needed to know what's out there. I needed to do something small again. I couldn't live with the counterfactual regret of never trying something outside Meta.

It's very hard to leave. I probably have one of the AI industry’s most leveraged seats, I lead the software layer that powers the entire AI industry. Every major AI company and hardware vendor are on a speed dial. This kind of power is really hard to give up. But curiosity ultimately won out in my head.

Keep making AI delicious and accessible. I'll be watching. Probably filing issues. Definitely staying involved.

Is PyTorch going to be okay?

I don't want to be doing PyTorch forever. I don't want to be like Guido or Linus— bound to a single thing for decades. Last November, coinciding with the birth of my daughter, I started planning my exit with Aparna. My goal was to leave PyTorch in a good and stable place.

By this August, during the second half of my parental leave, I knew: Edward, Suo, Alban, Greg, John, Joe and Jana were ready. The team faced hard people, product, technical and organizational problems and didn’t feel the need to lean back on me to solve these for them (unlike in the past). The product story they crafted for the PyTorch Conference was coherent—really coherent. The things I'd flagged red were turning healthy. The project didn't need me anymore. Unlike 2020-2022 (when I stepped down to go do robotics and came back when Lin, Dima and Dwarak left), I have strong confidence that this time PyTorch is truly resilient. The most aligned culture carriers of PyTorch – Greg, Alban, Ed, Jason and Joe are at the decision table now, and people with strong value alignment – Suo, John and Jana have joined them at the table. And there’s a long list of equally value-aligned people willing to sit at the table should any of these people leave. There are many little things that make up my confidence on the people – John worked on Julia and open-source for a very long time (in fact we hacked a Torch.jl in 2015), Suo has been the strongest systems builder and strategic partner I’ve had for the past two years, and Jana worked on resilient core systems for a very long time, I’ve had long technical and organizational discussions with her over the past few months that give me confidence. And the product lineup and execution in 2025 should be sufficient evidence for any remaining doubt.

I’m confident that this band of PyTorchers are going to do exceptionally well. PyTorch might change in flavor because I no longer impose my own taste from the top, but I’m confident that the values are going to stay intact and the product is going to be awesome.

My time at Meta

The early years of FAIR were absolutely magical. I was part of a small family of absolutely brilliant people building state-of-the-art AI out in the open. From working on GANs with Emily Denton, Rob Fergus, Leon Bottou, Martin Arjovsky and the (now legendary) Alec Radford to building Starcraft bots with Gabriel Synnaeve, to building the first FAIR Cluster with Howard Mansell, to working on object detection with Adam Lerer and Piotr Dollar, to building PyTorch. It was more fun than I can describe in words. 2015 and 2016 were probably the most productive and professionally enjoyable years of my life. I’ll probably romanticize this period of my life forever.

When I joined FAIR, I had massive impostor syndrome, and the first 3 months were very very difficult. I can’t credit Andrew Tulloch enough for being the most thoughtful, kind and welcoming mentor, without whom I wouldn’t have made it. I’m so damn bullish for Meta just from the fact that he’s back.

---

My time on PyTorch was special.

I loved every part of building it—designing it, managing it, being the PM, TL, comms lead, doc engineer, release engineer, squashing bugs, growth hacking, turning it into a coherent product with hundreds of people, transitioning it to industry stakeholdership – the whole nine yards.

To the core PyTorch team at Meta: the engineers, researchers, open-source maintainers, docs writers, CI infrastructure folks, hardware partners, the community builders. To the hundreds more inside and outside Meta—thank you. You turned a library into a movement.

There are too many people to credit and thank, but I can't not mention Adam Paszke, Sam Gross, Greg Chanan, Joe Spisak, Alban Desmaison, Edward Yang, Richard Zou, Tongzhou Wang, Francisco Massa, Luca Antiga, Andreas Köpf, Zach DeVito, Zeming Lin, Adam Lerer, Howard Mansell and Natalia Gimelshein. And Schrep. They made the launch happen. And so many more people became centrally important later: Lu Fang, Xiaodong Wang, Junjie Bai, Nikita Shulga, Horace He, Mark Saroufim, Jason Ansel, Dmytro Dzhulgakov, Yangqing Jia, Geeta Chauhan, Will Constable, Briah Hirsh, Jane Xu, Mario Lezcano, Piotr Balecki, Yinghai Lu, Less Wright, Andrew Tulloch, Bruce Lin, Woo Kim, Helen Suk, Chris Gottbrath, Peng Wu, Joe Isaacson, Eli Uriegas, Tristan Rice, Yanan Cao, Elias Ellison, Animesh Jain, Peter Noordhuis, Tianyu Liu, Yifu Wang, Lin Qiao and hundreds more. It’s criminal of me to not take the space to list out everyone else I should be mentioning here. PyTorch is nothing without its people ❤️.

The most joyful moments of building PyTorch was meeting users eager to share their happiness, love and feedback. I remember a grad student coming to me at Neurips 2017, in a slurring emotional voice he said he’d been trying to make progress on his research for 3 years but within 3 months of using PyTorch he made so much progress that he was ready to graduate. That moment made it tangible that what we do matters, a lot, to a lot of people, even if you don't constantly hear from them. I do miss the intimacy of the PyTorch community, with a 300 person conference that felt like an extended family gathering, but I feel that’s a small price to pay considering the scale of impact PyTorch is truly having today – yes the Conference is now 3,000 people where market-moving deals get brokered, but it’s helping orders of magnitude more people to do their best AI work. I miss the intimacy, but I'm proud of that growth.

---

To Mark Zuckerberg and Mike Schroepfer, who believed that open-sourcing is fundamentally important and is a sound business strategy. This is so hard to understand for most people within the course of business, but we’ve run lock-step on this strategy without ever having to discuss it. Without you two, neither FAIR nor PyTorch would’ve happened. And those mean so much to me.

To Yann LeCun and Rob Fergus, for building the magical early FAIR that I so revere.

To Aparna Ramani, a leader that I find so rare at Meta in her ability to hold a really high bar for the org, technically brilliant with the span to discuss deep infra systems and industry-strategy within the same conversation and for being an absolute execution-machine! I’ve learned so much from you.

To Santosh, Kaushik, Delia, Oldham and Ben for being so welcoming to Infra. For someone coming over from FAIR with a wildly different culture, you all made me feel at home and made me part of the family, and thank you for that.

To all my managers who've championed me through the PSC video game – Serkan, Howard, Jerome, Abhijit, Yoram, Joelle, Aparna and Damien – I owe you a lifetime of drinks.

---

Signing off for now.

—Soumith

[Gennady Korotkevich @que_tourist]

Cognition is the first AI lab to win a verified gold medal at the IOI. Our human, ryanbAI (@ryanbai), placed 7th overall. Impressively, ryanbAI competed under the exact same conditions as all human contestants.

[Psyho @FakePsyho]

Humanity has prevailed (for now!)

I'm completely exhausted. I figured, I had 10h of sleep in the last 3 days and I'm barely alive.

I'll post more about the contest when I get some rest.

(To be clear, those are provisional results, but my lead should be big enough)