yfk999

no profile record

Submissions

It's hard to build the right thing

comments

3 months agodiscuss

The implications of this for AI agents are pretty exciting. I guess you can kind of prove that an agent builds the right thing, no matter the language?