rustc and Rust have some rather serious type system holes and other kinds of iss... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		linuxissortof 3 months ago \| parent \| context \| favorite \| on: A comparison of Ada and Rust, using solutions to t... rustc and Rust have some rather serious type system holes and other kinds of issues. https://github.com/Speykious/cve-rs https://github.com/lcnr/solver-woes/issues

steveklabnik 3 months ago [–]

That first one is an implementation bug that's never been discovered in the wild.

Regardless, all projects have bugs. It's not really germane to qualification, other than that qualification assumes that software has bugs and that you need to, well, qualify them and their impact.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact