Out of curiosity - what are some recent examples (both government and private)?

NVidia, it has decided to go with Ada/SPARK instead of Frama-C or Rust (the othe candidates) as official language for security critical firmware.

GenodeOS project, started to rewrite security critical modules from C++ into Ada/SPARK.

Add is used in a lot of areas outside Defense and Aerospace (which I assume is what people associate Ada with).

Air Traffic Management and Rail Signalling systems are probably the two biggest fields outside of Defense/Aerospace where Ada has commercial success.

A big barrier to entry was previously the high cost of the toolchain for commercial applications (that's somewhat changed). Which meant it was only economically feasible for large companies in very safety-critical contexts.

Look on Adacore's website. They have a decent amount listed iirc.