like this thing for example https://sel4.systems// itβs almost 4 am and Iβm reading it, donβt know why like most of the stuff I learn but someday itβll be useful to me
Discussion
seL4 is pretty much used in military applications. Of course.
The other thing is that when you make it usable in any way, the proof of correctness no longer applies. It only applies to a completely useless thing that nobody actually uses.
now from there Iβm digging into this https://www.cyberagentur.de/en/ bc they became an associate member, and now im learning about something called the βsecure societyβ department ?
what a night