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.
Mike Dilger /
npub1ac…9p35c
2025-02-05 08:47:53
in reply to nevent1q…zcfy
Author Public Key
npub1acg6thl5psv62405rljzkj8spesceyfz2c32udakc2ak0dmvfeyse9p35cPublished at
2025-02-05 08:47:53Event JSON
{
"id": "0d0efbadef630ab8dcbbabafa7d564b607f2ba07621d02f7377cc321d96bf2c5",
"pubkey": "ee11a5dff40c19a555f41fe42b48f00e618c91225622ae37b6c2bb67b76c4e49",
"created_at": 1738745273,
"kind": 1,
"tags": [
[
"p",
"958b754a1d3de5b5eca0fe31d2d555f451325f8498a83da1997b7fcd5c39e88c"
],
[
"e",
"1843a8c8269bf1ff39476334b467c37e2481ad2af9b03269cbc3f18759132851",
"wss://nostrue.com/",
"root"
],
[
"e",
"e92a373de03a1563c012aa6c6372ecf54ebd584cf42ef1228a9f4f119f4a45f8",
"wss://nostrue.com/",
"reply",
"958b754a1d3de5b5eca0fe31d2d555f451325f8498a83da1997b7fcd5c39e88c"
]
],
"content": "seL4 is pretty much used in military applications. Of course.\n\nThe 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.",
"sig": "15e76f6967d8dd4e1bfe1ec63d2e0c06bda60c1cf3b58a6f560db1f76266ec85eb09b9dd3d072efb0eb582bce399b52fd759a7cea0bf3faa05fd43676b268ce2"
}