doonesbury

19 ms·

1. 151.▲
   by doonesbury 6y ago

   I think this thread is too narrow on correctness. Plenty of memory issues in C/C++ can be solved by library code i.e. not char buf[...] but std::string. Not raw pointers but RC-pointers. The idea that language strictures alone solve a
2. 152.▲
   by doonesbury 6y ago

   Indeed. This harks back to old debates: - do I really need threads when I can share non-mutable messages or copies of same? Maybe (speed, throughput). Maybe not. Depends. What's clear is I need choice. - how do I get correctness? Rust
3. 153.▲
   by doonesbury 6y ago

   Formal leaning HN people: Does Rust just have better sales & marketing than C++? Or is it really better for safety and correctness? * Rust is NOT a programming language with deep, well-integrated support for proof systems or state explo