lizzy :v_trans: :v_bi: on Nostr: nontermination is undecidable, so I would say it's neither
nontermination is undecidable, so I would say it's neither
lizzy :v_trans: :v_bi: /
npub1m8d…9pjp
2024-08-22 18:59:29
in reply to nevent1q…eva6
Author Public Key
npub1m8dvshcxhahsx2zzynty9frdp5t6kcggjyelzeulc5c8s3vux7aqu59pjpSeen on
wss://relay.momostr.pinkPublished at
2024-08-22 18:59:29Event JSON
{
"id": "fa029f0ea91f2d8645af1be7b8acea1ae1be9f6e63e61ef6a9681d75a477a046",
"pubkey": "d9dac85f06bf6f03284224d642a46d0d17ab61089133f1679fc53078459c37ba",
"created_at": 1724353169,
"kind": 1,
"tags": [
[
"proxy",
"https://social.lizzy.rs/@fleckenstein/113007209309159333",
"web"
],
[
"e",
"46afac3ff52f7724981d75494b2a737a47ee5f2ec72f166294b2c9a351fea5af",
"",
"root",
"d9dac85f06bf6f03284224d642a46d0d17ab61089133f1679fc53078459c37ba"
],
[
"e",
"a5aa1d64326af305a30b46e358216ddf81d410ccfe2e3c78b06c4857ef882794",
"",
"reply",
"040e7dabf271c1cd2c448e62be878e8755a8feb3d3baff89a9d28fc8e0a75f6a"
],
[
"p",
"d9dac85f06bf6f03284224d642a46d0d17ab61089133f1679fc53078459c37ba"
],
[
"p",
"040e7dabf271c1cd2c448e62be878e8755a8feb3d3baff89a9d28fc8e0a75f6a"
],
[
"proxy",
"https://social.lizzy.rs/users/fleckenstein/statuses/113007209309159333",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://social.lizzy.rs/users/fleckenstein/statuses/113007209309159333",
"pink.momostr"
],
[
"-"
]
],
"content": "nontermination is undecidable, so I would say it's neither",
"sig": "c5af71e8efa1b69abb15191ec314b8258401ed3250df3aee61a6d730c6c72dab35c17542c49e17f077af34de37deb55c788548eeca72ec3915c68ada9fc45192"
}