Merge remote-tracking branch 'origin/master'

Scans/NOTE_061725_NASAFMCONF.md

@@ -1,6 +1,32 @@
-<!The quick brown fox jumps over the lazy dog. The dog takes a nice nap. :)>
+t<!The quick brown fox jumps over the lazy dog. The dog takes a nice nap. :)>
 This is a general breakdown of how the conference went, what I learned, and 
 what my impressions were.
 
 # Day One
-##
+## Keynote
+Darren Cofer from Collins Aerospace gave a really good talk about AI and
+how we can reason about it when it comes to high assurance systems. This is
+the littlebird autonomous helicopter guy in Loonwerks. Buddy knows his shit.
+Big takeaways were the following:
+
+1. There's going to be demand for high assurance AI systems. We need software
+that can generalize better than explicit rule based designs that we have now.
+2. Approaches to high assurance AI straddle two ditches: one side being 'it's
+just software' and 'it's impossible'. Neither are really true.
+3. Bound behavior of probabilistic requirements seems like a good strategy
+4. He started talking about AADL for run time assurance using assume 
+guarantee stuff
+5. Idiocracy referenced
+
+## Theorem Proving
+1. What the fuck is a DAG?
+    - Turns out it's Directed Acyclic Graph
+2. Some stuff from TLA+
+3. Most of what I got is it was people building tools for problems in 
+software. No applications.
+
+## Verification
+1. Didn't really get anything from the first two.
+2. 
+
+