@1dolinski
he's right
this is the way
"But probably, the right way to use it, is to take half the gains from AI in speed, and half the gains in security: generate more test-cases, formally verify everything, make more multi-implementations of things."
0 reply
0 recast
1 reaction