Niko Matsakis: 'Trust but verify'; or, 'the correctness ratchet'

The name of the game in agentic development is figuring out how to clearly tell agents what you want– and then how to be sure they follow through. Lately I’ve been tinkering with an interesting technique around this that I’d like to share.1 I call it “trust but verify”2. The basic idea is that sometimes you have things you want to “verify” but... Weiterlesen: Niko Matsakis: 'Trust but verify'; or, 'the correctness ratchet'