95% of my "logic errors" are related to surprise nulls (causing a data leak of s... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

imtringued on Sept 9, 2023 | parent | context | favorite | on: Maybe Rust isn’t a good tool for massively concurr...

95% of my "logic errors" are related to surprise nulls (causing a data leak of sensitive data) or surprise mutability. The idea that there is no debug cycle is ridiculous but I am confident that there will be less of them in Rust.

pjmlp on Sept 9, 2023 [–]

I bet it won't survive a pentest attack, and there are more things missing on program expectations than only nullability.

On the type system theory, Rust still has quite something to catch up to theorem provers, which even those aren't without issues.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact