I would love a system with a secure microkernel written in something like Ada, with servers written in a powerful, secure language like some kind of Lisp and the user shell written in something like Smalltalk.
Chances of getting one is zero but it's nice to dream of.
Kirtai 🏳️⚧️
npub1hu…tqelz
2026-04-30 16:33:26 UTC
in reply to nevent1q…8vzj
Author Public Key
npub1hu9np9tkf38h795r8hanfnh67lp2f7zqq2qwu50e9yuhpdaa0u6qgtqelzSeen on
wss://relay.momostr.pinkPublished at
2026-04-30 16:33:26 UTCEvent JSON
{
"id": "0f4042139277aba1a625d7f55749d56e866b6f04b819ac69aae2f2c7c31b5973",
"pubkey": "bf0b3095764c4f7f16833dfb34cefaf7c2a4f8400280ee51f9293970b7bd7f34",
"created_at": 1777566806,
"kind": 1,
"tags": [
[
"p",
"8ab44a84fb757fea3c983e68a9bcc8e331fa49ed99cfcfd06a4499d542eae93c"
],
[
"e",
"f32bfd59a7f951ae5b208865ae9bb6f34d21150c258cadb8ea208bf119dcf907",
"",
"root",
"8ab44a84fb757fea3c983e68a9bcc8e331fa49ed99cfcfd06a4499d542eae93c"
],
[
"e",
"779eaf31a0a0c3a8a3170a48dc17d96e7d4a04772f832338707fd5c3217c608e",
"",
"reply",
"8ab44a84fb757fea3c983e68a9bcc8e331fa49ed99cfcfd06a4499d542eae93c"
],
[
"p",
"bf0b3095764c4f7f16833dfb34cefaf7c2a4f8400280ee51f9293970b7bd7f34"
],
[
"proxy",
"https://tech.lgbt/@kirtai/116494618221511913",
"web"
],
[
"proxy",
"https://tech.lgbt/users/kirtai/statuses/116494618221511913",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://tech.lgbt/users/kirtai/statuses/116494618221511913",
"pink.momostr"
],
[
"-"
]
],
"content": "I would love a system with a secure microkernel written in something like Ada, with servers written in a powerful, secure language like some kind of Lisp and the user shell written in something like Smalltalk.\n\nChances of getting one is zero but it's nice to dream of.",
"sig": "5a28bb824abbc23b22a93ea499ddff3c1d1d6fd582eec480a29807b3f92b1c3d28a7c77859cd9ec702a5368b72fe3aca873d424b99f0893f473de4538eeb6dd2"
}