New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...
Google also reports a more than 1,000x reduction in memory safety vulnerability density in Rust compared to C/C++.