# What Happened
Boyd Mutlerer from Kry10 came and gave a talk about SeL4, Kry10, and KOS--of which he doesn't really like the name KOS. There was a lot of interesting things from this talk, but really things came down to 4 ideas: Science, Engineering, Craft, and Magic. 

Science is what is usually heralded as the truth in our society. It is understanding something through experiment, and knowing how it works with evidence. Evidence is the key point here. We know things work with science because we have observations that things are true. From this, we can build new things.

Engineering is a step on top of science. Engineering is *creating* with science's foundation. It is building new things with support from science to tell you that it's going to work. 



- [ ] Innovators dilemma. An interesting book that discusses, well, the innovators dilemma.

- [ ] Look up Pancake. Language that is good for drivers but also easy to distill proofs.
