The joke didn't land, sorry. Just to elaborate (not troll!) I believe C with tools[1] makes more sense economically than Rust. Rust is popular not because it'

The joke didn't land, sorry. Just to elaborate (not troll!) I believe C with tools[1] makes more sense economically than Rust. Rust is popular not because it's groundbreaking but because it's fun. [1] Such as: https://compcert.org/ https://compcert.org/ https://frama-c.com/ https://frama-c.com/ https://www.cprover.org/cbmc/ https://www.cprover.org/cbmc/