Twitxy Saved

Turing Post (Ksenia Se)

Verified account This account is verified. Learn more

@TheTuringPost

On X – we follow important research papers and explain ideas behind it. In the newsletter, we connect the dots between AI’s past, present, and future ⬇️
Join over 115,000 readers turingpost.com Joined June 2020
6.8K Following 89K Followers 21K Posts

Latest posts 5

Turing Post (Ksenia Se) Verified account @TheTuringPost
How to turn slop into gold. Super concrete steps from awesome @poteto on making coding agents trustworthy:

1. Clean up the code your agents learn from.
Your codebase is one of their biggest inputs. Agents copy whatever looks like an established pattern, including workarounds, deprecated code, and yesterday’s questionable decisions. Clean those up, or watch them reproduce.

2. Turn corrections into enforceable checks.
Every time you correct an agent, ask: can this become a lint rule, a type constraint, a test, or a better API? Put the correction somewhere the system can enforce it. A growing AGENTS.md still requires the agent to follow every instruction.

3. Remove opportunities for predictable mistakes.
Her team @SpaceXSI restricts React’s useEffect to framework internals because agents repeatedly misuse it in product code. They also enforce import boundaries between application processes. These constraints eliminate whole categories of mistakes that would otherwise keep coming back in review.

4. Give agents a reliable way to run and inspect the product.
Provide debugging tools, reusable CLIs, and a “feature map” describing the application from the user’s perspective. Now “that thing in the left sidebar” has a shared meaning, and each agent can reuse the tools for checking it.

5. Review evidence of behavior.
Have agents produce screenshots, videos, and state diagrams. These help you check what the product actually does and how closely that matches your intent. A convincing explanation of a fix is easy to generate; seeing the fix work is considerably more useful.

6. Spend serious effort on verification.
Her team uses runtime verification and is experimenting with property-based UI testing and formal methods, including TLA+ model checking. Lauren says most of her token usage goes toward verification. Agents make some previously expensive testing work much more practical.

7. Automate once that loop is reliable.
Her team now has agents exercise new releases, find bugs, open fixes, and merge them automatically. Getting to that level of trust took her about six months of investing in the environment.

The results she reports: 11,000 pull requests shipped by her team in a month, a revert rate around 0.5%, and improvements in startup, typing, and switching chats.

And what about infamous “software factory”?

if your coding loop produces slop, automating it produces more slop, faster, with a larger token bill.

Start by making good code the easiest thing for an agent to produce. Then scale it.
As always, content at @aiDotEngineer is gold 🏆
Turing Post (Ksenia Se) Verified account @TheTuringPost
Just think about it. Elon is sometimes wrong with exact timing but when he says things like this - you kinda know it will be true at some point

Future is awesome (and a little bit bananas)
Elon Musk Verified account @elonmusk 2h
@IterIntellectus Actually, we’re aiming for 1TW/year from Earth, rising to over 1PW/year from the Moon.

That’s why I say that if we achieve this outcome, SpaceX will obviously be worth more than Earth, because space is so staggeringly enormous!
View quoted post on X
Turing Post (Ksenia Se) Verified account @TheTuringPost
What pushed a 16-year-old internet giant to become an AI neolab? There was a model it wanted to run and couldn’t.

A fascinating story from Cloudflare’s @michellechen at the @aiDotEngineer today.

Back in 2023, Cloudflare put GPUs close to users, betting that AI models would get smaller. Frontier models got enormous. Then along came Jev, a model that could make a decision in one pass. At that speed, the trip to the server matters again. Cloudflare had the network for it, but Jev’s weights were closed.

My favorite detail from Michelle’s talk was that the team spent a week deciding whether to train a decision model. Then they trained Clef over the weekend. And they cleverly decided to go with a hybrid model.

Michelle showed how the hybrid works with three questions about a failed software build.

- Which of these 40 tools do we need? Clef Flash picked them.
- What’s the error in the logs? Clairic pulled it out.
- Why did the build fail? That one went to the large reasoning model.

The first two questions went to Cloudflare’s fast System 1 models. System 2 only had to answer the third. In the demo, the agent reached the same diagnosis with one LLM call instead of six, and about 1,800 LLM tokens instead of 40,000.

That's pretty impressive – and that's the insight: Jev gave Cloudflare the push, and I think we’ll see a lot more teams building hybrids like this. Once you see how many LLM calls go into finding the right line in a log, it’s hard to justify the bill.

*I doubt System 1 + System 2 is the final architecture, though.* Say the agent proposes a fix. Would that change alone have prevented the failure? Can we check it against the rules the software has to follow? That’s where I see room for causal and neuro-symbolic approaches.