Viewing profile — ainch

Does it? Mojo was announced 6 months after ChatGPT was released.

I wouldn't say there was a pivot, AI development has explicitly been the goal since launch.

Quite - you still have to do the work yourself. I think LLMs are best placed to act as an eager tutor that doesn't mind discussing a topic ad nauseam until you're certain you under…

I'm not sure I agree about retyping calculus solutions. I often find that writing out a proof or derivation forces me to engage with some minor detail that I hadn't fully appreciat…

> It would be foolish to deny the effectiveness of image recognizers based on generalized adversarial networks (GANs), the key neural network technology underlying LLMs I could be …

I'm sure you could select for shorter proofs, but then that might be confounding in its own way. I think it's a general problem for LLMs that taste is both subjective and hard to p…

I'm not sure that elegance will be so easy to train for, the same way that writing skill has plateaued (or arguably declined) since earlier models. "Have you solved the problem" is…

Perhaps amongst coders, but I doubt most users are interacting with TUIs - my retired mother uses ChatGPT most days, but I suspect it'll be a while before she downloads Claude Code…

The chronology in the article seems to suggest that they moved (or were moved) off of AlphaFold earlier this year, prior to quitting.

John Jumper moving to work on LLM coding capabilities does seem quite shortsighted - and little surprise perhaps that he then quit to work on AI for science again at Anthropic.

It's heartening to see that Delayed Gratification has successfully continued their work for so long. I used to work at Tortoise (who now own/operate The Observer) and our motto was…

I think this idea is exactly right. Many ML papers that include pseudocode basically just write out a minimal PyTorch training loop - down to the loss.backward(). It has, along wit…

Some data is so sensitive it likely has to stay on premises though.

It is cheaper than GPT-5.6 and Anthropic's models. But then on coding agents specifically (if we take artificial analysis, at least - I'm sure there's a better meta-review you coul…

No I think you're right that the amount of compute spent on office work is lower than coding - although I don't have any sense for the right share. The best source I could find was…

Agreed, Kimi is cheaper for coding - I say that explicitly in the post too. However I'd have to disagree with you on the "office task" front. General office work is one of the big …

That's a very fair critique. I don't mean to imply that Kimi is not at all cheaper than U.S frontier models. I more wrote this because I believe - since Chinese LLMs entered the pu…

It's telling that in their release post, Moonshot themselves said that K3 lags Fable and GPT-5.6 in "user experience". I took that to mean the stuff you can't push directly via RL,…

I appreciate people thinking this is a marketing ploy, but at the same time, OpenAI have just had to delay a model release because of government attention on cybersecurity risk. Th…

HuggingFace posted an incident report a week ago, which makes it much more likely that this happened. I understand people are suspicious of OpenAI, but I don't think there's any re…

I've been sharing music on SoundCloud for a decade and I am genuinely interested in this topic, but I cannot stand how strongly this post reeks of LLM writing. Do people releasing …

There is a field of hierarchical RL in which the optimisation occurs over a range of time scales/abstraction. But I'm not aware of much practical success for these approaches so fa…