Iron and steel may be some of the strongest materials on earth, but they’re no match for the elements. Ferrous metals start to rust after only a few hours of exposure to air and water.

provide an alternative to automatic C-to-Rust conversion schemes that produce unsafe Rust. Their focus is on providing a conversion path for industrial-grade code that's been formally verified.

Memory errors such as out-of-bounds reads and writes and use-after-free bugs have plagued applications for decades, causing problems ranging from minor execution glitches to global security ...

A Massachusetts company is using rust to create a long-lasting battery. Ordinarily we detest rust. It eats the undersides of our vehicles, helped along by road salt in winter. But the rusting process ...