Went flying with a retired T-38 pilot today. Did some lazy eights over the beach, and enjoyed the sunshine of Destin Florida! I had never flown a French aircraft (TB-10) before and it was a fun experience.
Flew a TB-10 with a retired T-38 pilot
4th Solo
Second Solo
Starting The Engine
Radio Call
Living The Dream
First Solo
Solo Landing
Post Solo Celebration
Formal Methods 101: Formal Systems
Formal Methods 101: Decidability
Formal Methods 101: Complexity Theory
Formal Methods 101: Satisfiable Modulo Theories (SMT)
Formal Methods 101: Boolean Satisfiability (SAT)
Formal Methods 101: Second-Order (and Higher-Order) Logic