Alexandoo on Nostr: Is this based on an old script? I'm surprised it used to work with the explicit ...
Published at
2024-11-21 18:34:37Event JSON
{
"id": "9c976cecef22070985473002709beba56ba13d1f0f930e2ab9c2205e2db60a86",
"pubkey": "2fe8678088f1d7502ff05de6148cfa1d82e9753ae2e0c7207eb2b2c622130b5f",
"created_at": 1732214077,
"kind": 1,
"tags": [
[
"e",
"acc7dfb31dce5da0b01f2d3f3d2a4681297d8cd3ae333931253cfa13946e3777",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://sandiegourbanists.com/users/alexanderbakst/statuses/113522381789175903",
"activitypub"
]
],
"content": "Is this based on an old script? I'm surprised it used to work with the explicit `Exists`: https://stackoverflow.com/questions/7179777/z3-extracting-existential-model-values, which is quite old, makes me think that it was never really possible to get a 'witness' value in this way",
"sig": "9aeda7ad53a5cbeac758b74ae84b3eb7e160fbd09069165a05388f334bb03b82f29784901bff88fa1e8c065354fe0b5bc771d10583744fe0a826be92e7aee139"
}
