tranny demon hacker on Nostr: that extra reified proof P can be added to R as an extra argument in R', and the ...
that extra reified proof P can be added to R as an extra argument in R', and the structure of the R proofs is traced out exactly by the P structure
this shouldn't be magic to imagine. but the cool part is that this then means we can turn R' into n different binary relations!
Published at
2024-10-28 16:14:43Event JSON
{
"id": "bf3753af64146086aead26957dafce48a6718d9291108893983ba41c2ddebd2f",
"pubkey": "6e5b64a93f9c17d6528911485e399c8be0361c502e3c736e8118f8e00d950d0c",
"created_at": 1730132083,
"kind": 1,
"tags": [
[
"e",
"c5537950dad81a9bcd9b185ca5c848d24e77fa18780c5ead6f2d053d18da6fda",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/113385936213764158",
"activitypub"
]
],
"content": "that extra reified proof P can be added to R as an extra argument in R', and the structure of the R proofs is traced out exactly by the P structure\n\nthis shouldn't be magic to imagine. but the cool part is that this then means we can turn R' into n different binary relations!",
"sig": "8a1e69879d2812c07c1f6faad46a24a1f80ac5acbf4d09675a34f4583f69fc6e5962ece8df94c70ae3ffba05bb380b4c9fddbe1d912947dd87b493e9fff5a8c2"
}
