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