I wish I had more opportunity to use Ada. GNAT Studio can be buggy but the language itself and the safety it brings to software engineering is really nice to work with.
They were some of the buggiest most crash-probe applications I've ever used, whilst the whole time their marketing trumpeted about how much better the quality of your software would be if you used them.
Oh the irony!