fiatjaf on Nostr: Stupid questions: 1. instead of doing research for proving correctness wouldn't it be ...
Stupid questions:
1. instead of doing research for proving correctness wouldn't it be better to write everything in Rust like you say?
2. even if your system is full of bugs if you limit your exposure to the external world to a small set of secure gateways won't that mostly fix it?
Published at
2025-02-05 20:43:15Event JSON
{
"id": "00000038f8002702bf646e91d864920c160aa0844bfa62da92fc0ec4082e6531",
"pubkey": "3bf0c63fcb93463407af97a5e5ee64fa883d107ef9e558472c4eb9aaaefa459d",
"created_at": 1738788195,
"kind": 1,
"tags": [
[
"p",
"ee11a5dff40c19a555f41fe42b48f00e618c91225622ae37b6c2bb67b76c4e49"
],
[
"e",
"1843a8c8269bf1ff39476334b467c37e2481ad2af9b03269cbc3f18759132851",
"wss://nostr.wine/",
"root",
"ee11a5dff40c19a555f41fe42b48f00e618c91225622ae37b6c2bb67b76c4e49"
],
[
"nonce",
"5273",
"16"
]
],
"content": "Stupid questions:\n\n1. instead of doing research for proving correctness wouldn't it be better to write everything in Rust like you say?\n2. even if your system is full of bugs if you limit your exposure to the external world to a small set of secure gateways won't that mostly fix it?",
"sig": "472c1d5b336c0d653594cacfa31cc49675fd71132d95deef3013db9efbac0846f113c514e52a3b3e86a056cc3e21ed1298df52ec34153bf50da3a0206d84ec27"
}
