From 2baf4ca7c63ad3c101b75b7d6be0be1a3175d040 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 18 Feb 2025 16:15:09 -0500 Subject: [PATCH] vault backup: 2025-02-18 16:15:09 --- .../2025-02-18 Boyd Talk.md | 4 ++-- 1 file changed, 2 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 de04f744..7499182c 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 @@ -7,6 +7,6 @@ Engineering is a step on top of science. Engineering is *creating* with science' -Innovators dilemma. An interesting book that discusses, well, the innovators dilemma. +- [ ] 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. +- [ ] Look up Pancake. Language that is good for drivers but also easy to distill proofs.