3 ms·
Compilers are sound abstractions. CompCert is literally a proven compiler. LLMs make up whatever they feel like and are pretty bad at architecture as well.
by bgwalter 1y ago
Compilers are sound abstractions. CompCert is literally a proven compiler.
LLMs make up whatever they feel like and are pretty bad at architecture as well.