There was recent Thread with lot of discussion over topic :)
https://news.ycombinator.com/item?id=24360310
1,311 karma · joined March 21, 2020
https://blog.adacore.com/using-ada-for-a-spanish-satellite-p...
https://community.signalusers.org/t/ios-14-catches-apps-spyi...