yfk999

3 ms·

1. 1.▲
   by yfk999 6mo ago

   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?
2. 2.▲
   It's hard to build the right thing(dev-log.me)

   3 points by yfk999 7mo ago|0 comments