>> if someone wrote an application in Ada in 2025, I would find that a bit anachronistic.

I suppose that Nvidia's use of Ada and SPARK for self-driving vehicles is anachronistic:

https://www.eenewseurope.com/en/nvidia-drives-ada-and-spark-...

https://nvidia.github.io/spark-process/process/introduction....