danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2025-02-18 15:07:50

Browse Source
This commit is contained in:
Dane Sabo 2025-02-18 15:07:50 -05:00
parent 97d26c3a87
commit e3fb11e177
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md
View File

@ -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.

3
300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md
View File

@ -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]]