News for hackers. Stuff that matters.

A comment on How I went about learning Rust. Parent comment

Re:How I went about learning Rust by augustk on Saturday July 23, 2022 @11:14AM (#32204045)
The value of a formal specification is the ability to reason about a program without having to compile and run it (using a specific implementation).
[ Parent | on HN ]
Re:How I went about learning Rust by vistro on Saturday July 30, 2022 @11:05AM (#32287330)
Good luck reasoning about C++ code. After all static analysis, sanitizers and whatever dynamic analysis, you still cannot be really sure that your code will blow up with undefined behavior.
[ Parent | on HN ]