danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Obsidian/.archive/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-03-25 Max's Lecture.md

645 B
Raw Permalink Blame History

The quick brown fox jumps over the lazy dog. The dog stays blissfully asleep. :)

  • Look at what papers are being published for NASA FM 2025 #Follow-Up

Multi-party session types-- how could they line up to chaotic synchronization and then maybe this lines up to wireless communication? Hmmmm.

  • Look for NVIM git plugins #NVIM

  • Kalman Filters on seL4?

  • How does microkit interface with Rust? I think it does. Microkit is actually mostly written in Rust. This should also be checked on: Supported Boards for SeL4. Maybe this can be crossref'd with what works with Kry10?