From ae042dff268ed74a856ce1fcaf3bbbed326e210c Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 18 Feb 2025 16:07:54 -0500 Subject: [PATCH] vault backup: 2025-02-18 16:07:54 --- .../2025-02-18 Boyd Talk.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md index d5b930af..de04f744 100644 --- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md @@ -5,4 +5,8 @@ Science is what is usually heralded as the truth in our society. It is understan 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.