3 ms·
Saw a podcast that talked about the rust compiler, which apparently included machine learning algorithms at some points to determine whether or not you had code
by GL26 4mo ago
Saw a podcast that talked about the rust compiler, which apparently included machine learning algorithms at some points to determine whether or not you had code that could crash your system
- afdbcreid 4mo agoI've never heard about that and I'm pretty sure it's incorrect (although "machine learning" is a wide term), do you have a source for that?
- saghm 4mo agoI've also never heard this before. The closest I can think of is fuzzing test suites used to find panics in various crates, but that's neither machine learning nor in the compiler itself. I know that datalog is used for the borrow checking logic, so I could also maybe imagine someone describing something like that in some hand wavy way like "proof by machine to detect up front whether the program is safe or might crash" and that getting misinterpreted, but that seems like a stretch
- afdbcreid 4mo agoDatalog is not used for borrow checking. It was used in old versions of the experimental next-gen borrow checker, Polonius. Current versions of Polonius (which is still experimental) are coded in Rust.
- saghm 4mo agoOh interesting, I'm not sure why I misunderstood that. Thanks for the correction!