Replying to Avatar Mike Dilger β˜‘οΈ

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.
Avatar
π•Ύπ–Šπ–— π•Ύπ–‘π–Šπ–Šπ–•π–ž 11mo ago

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

Reply to this note

Please Login to reply.

Discussion

Avatar
Mike Dilger β˜‘οΈ 11mo ago

lol! smoke a doobie, get a BJ and get some sleep.