|
|
|
|
|
|
by vrighter
109 days ago
|
|
|
where compilers use nondeterminism, they are always choosing between several proven valid options. This is not due to any external tools. It's a contract between the compiler and the programmer. Llms are choosing from the space of all possibilities, including "miscompilations" |
|
|