mikedilger on Nostr: seL4 is pretty much used in military applications. Of course. The other thing is that ...
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.
Published 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"
}
