Event JSON
{
"id": "66e81c9062a0b353212870b4f015b3039dfed3b7fa5eefa1b6f1199c7826a3ab",
"pubkey": "e1f48d2f077b0d512e8666bf7a0dddded2e443d99b0c92cecf577b4e50b86563",
"created_at": 1732248174,
"kind": 1,
"tags": [
[
"e",
"52764b9efe80c2ade21c3156f04e92b92975b3f77d487ba591f8dd63ec5f24ef",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://toot.yosh.is/users/yosh/statuses/113524616338507582",
"activitypub"
]
],
"content": "- Safety 1 and Safety 2: https://erikhollnagel.com/ideas/safety-i%20and%20safety-ii.html\n- Safety and Liveness (not a canonical reference, but I thought this was good): https://www.hillelwayne.com/post/hyperproperties/",
"sig": "80b84399a1c2e32704b26329f1a0e7ac805624287b3d852fc3feec7090ad0943cd40c6f928ec65f90a24f5e7523e34c6972fd2f35b3d379bfaa9adb71f1cf6b0"
}