The Code/X ArchiveView on X
Boris Cherny

@bcherny

I am surprised that people are surprised this is how I prompt Claude.

Talk to Claude the way you would a coworker. There's no secret to prompting. There's no need to be overly scaffolded or prescriptive for most tasks -- give Claude a goal, and it will figure it out.

Back in the Sonnet 3.5 days, your prompt mattered a lot. Nowadays, it's much more important to communicate to the model:

1. What you want it to do
2. How much effort you want it to spend
3. How it should verify that it did the right thing

Boris Cherny @bcherny

Prompt
Image from the post

Quoted post on X →

5055759.9K7.3K
Boris Cherny

@bcherny

Another example, my actual prompts x.com/bcherny/status…

Boris Cherny @bcherny

I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached.

TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt.

Quoted post on X →

129269257
End of thread