Rendered at 18:36:07 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
vrighter 9 hours 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"
haint 11 hours ago [-]
Compiler output is deterministic, agent output is not.
Llms are choosing from the space of all possibilities, including "miscompilations"