Congrats!!! đŻđđ
On Tue, Oct 25, 2022, 12:05 PM Brian E. Lavender brian@brie.com wrote:
Hey Everyone,
I passed my check ride this last Friday for private pilot! woo hoo. This has been what I call "Curiosity killed the cat adventure.", in the figurative sense of course. ;-)
It was all partly inspired by work with Spark/Ada while I was at Sac State and few guest lectures I gave to the CSC 201 class at Sac State on Spark/Ada revolving around the implementation of Spark/Ada in the C130J upgrades. While I found the use of Spark/Ada interesting in the C130J, I couldn't help wondering what more is involved with the aircraft. So, I took pilot training lessons! Well, it has been a lot of work. I can fly a Cessna 172 now! It's not quite a C130J, but it sure gives that hands on feel!
Here is an interesting paper! https://www.sigada.org/ada_letters/dec2000/chapman-paper.pdf
Brian
Brian Lavender http://www.brie.com/brian/
"There are two ways of constructing a software design. One way is to make it so simple that there are obviously no deficiencies. And the other way is to make it so complicated that there are no obvious deficiencies."
Professor C. A. R. Hoare The 1980 Turing award lecture _______________________________________________ Lug-nuts mailing list -- lug-nuts@bigbrie.com To unsubscribe send an email to lug-nuts-leave@bigbrie.com