Post A7inYsZ98wsitNZl7Q by blipp@chaos.social
 (DIR) More posts by blipp@chaos.social
 (DIR) Post #A7hw3ad2ULIAiHajku by djoerd@idf.social
       2021-05-28T12:10:33Z
       
       0 likes, 0 repeats
       
       Why scientists are turning to Rust: https://www.nature.com/articles/d41586-020-03382-2
       
 (DIR) Post #A7hyCGjs0WV9Xa3LSS by arjen@idf.social
       2021-05-28T12:34:31Z
       
       0 likes, 1 repeats
       
       @djoerd Don't forget to toot our own Robbert Krebbers' CACM article on safe system's programming in Rust 🙂 https://dl.acm.org/doi/10.1145/3418295"The proof technique of semantic type soundness, together with advances in separation logic and machine-checked proof, has enabled us to begin building rigorous formal foundations for Rust as part of the RustBelt project."
       
 (DIR) Post #A7hyiy4sPUiFDiTF7Q by djoerd@idf.social
       2021-05-28T12:40:27Z
       
       0 likes, 0 repeats
       
       @arjen Wow, I need to read this! *boost*
       
 (DIR) Post #A7inYsZ98wsitNZl7Q by blipp@chaos.social
       2021-05-28T22:10:04Z
       
       0 likes, 0 repeats
       
       @djoerd Very cool, I'd thought that Rust's learning curve would be too steep for these use cases. Excellent that it is getting used more and more :)A comparison to Julia would be interesting, because I heard that it is another fresh player for scientific software. The article does not mention it though, but links to https://www.nature.com/articles/d41586-019-02310-3 as a related article, which on its turn also does not mention Rust :D