|
|
|
|
|
|
by int_19h
1236 days ago
|
|
|
> everything it generates can be pretty quickly verified and validated by another machine It can be verified in a sense that it builds, but that doesn't mean that it actually does what you asked it to do, or that it does it on all valid inputs. The worst bugs to track down are silent logic bugs. |
|
|