From e3fb11e17734a8e96f1893f6f9fae5bdf710ce8b Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 18 Feb 2025 15:07:50 -0500 Subject: [PATCH] vault backup: 2025-02-18 15:07:50 --- .../2025-02-18 Boyd Talk.md | 8 +++++++- ...50 - High Assurance Cyber-Physical Systems - README.md | 3 ++- 2 files changed, 9 insertions(+), 2 deletions(-) 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 1270d714..d5b930af 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 @@ -1,2 +1,8 @@ # What Happened -Boyd Mutlerer +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. diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md index 7ae94268..e0ef46af 100644 --- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-12 +Generated by ChatGPT on 2025-02-18 # Table of Contents for ME 2150 - High Assurance Cyber-Physical Systems @@ -6,6 +6,7 @@ Generated by ChatGPT on 2025-02-12 - [[2025-01-09 Syllabus and Introduction.md]] - [[2025-01-14 Microkernels.md]] - [[2025-01-16 HACMS Program Overview.md]] +- [[2025-02-18 Boyd Talk.md]] - [[Capabilities Tutorials.md]] - [[Investigating seL4 with Docker.md]] - [[Lean.md]]