transdev12
Joined 9 months ago
Joined 9 months ago
Source? The proliferation of labs building competent models would seem to suggest the opposite.
Programming languages are what you build creative and interesting things from, building in safety into your tools is a good thing.
I wouldn’t want a nail gun that shoots in the wrong direction when you apply the incorrect amount of pressure. Software engineering over indexes on an obsession with the tools themselves over the things you make with them.
Digital ocean particularly looks promising as well.
//add returns the sum of x and y
//per section 2.1 of addition-implementation-plan.md sum is designed as the seam for user addition interfaces.
//previously sum added numbers, now it adds numbers
def add(x, y):
return x + y“We are the only acceptable way to do things and no tradeoffs are acceptable” is fairly petty.
“We have a difference of opinion” isn’t.
At this point I don’t think it’s about training examples, once there is sufficient training data it becomes a problem of verifiability, ie how easily can the model check its work for success.