Event JSON
{
"id": "5060412f212cd6c76700f79f24cd9de75d3bdf240cdda97ab07f0f7c95d05ce9",
"pubkey": "1bab79497d21d691bc1a610c8efc29348ec84016e274f7bbd8132d3ea70795f5",
"created_at": 1709069335,
"kind": 1,
"tags": [
[
"p",
"e08c164a788e40b01bddc36f711536def8058305c3750eaaf1b36f5dfad43553",
"wss://relay.mostr.pub"
],
[
"p",
"8033bf8881efef76aa5d0a9c72b247779c822b68ab3102392f3dfd506d23294d",
"wss://relay.mostr.pub"
],
[
"proxy",
"https://nondeterministic.computer/users/martin/statuses/112005567974060209",
"activitypub"
]
],
"content": "Using Stateright, a Rust model checker, to check correctness of a Raft implementation (post by nostr:npub1uzxpvjnc3eqtqx7acdhhz9fkmmuqtqc9cd6sa2h3kdh4m7k5x4fsy7gjrd) https://liangrunda.com/posts/raft-lite-model-check/",
"sig": "9fc83ed90b58b2eda7c553f46bc1ed35811a6c625f86e1b2b0230a9376bff4baeaab8499b6a9a7948229fa686b94c14aeb192ad93c101ba043ee3c1bfb03dac6"
}
