tranny demon hacker on Nostr: but interacting with these partial definitions is usually remote. like, in the quoted ...
but interacting with these partial definitions is usually remote. like, in the quoted thread, adding a new constructor to a type happens during a calculation for a function `f`, where we have to make a decision about how `f` is defined
we work on `f`, to also define `A`
Published at
2025-03-15 17:43:06Event JSON
{
"id": "40b4a0fc96ca71a50d72e5cf233f2f3d4f2c5947bcfbfd7deaa2e99e683717c4",
"pubkey": "6e5b64a93f9c17d6528911485e399c8be0361c502e3c736e8118f8e00d950d0c",
"created_at": 1742060586,
"kind": 1,
"tags": [
[
"e",
"144e5219f8604000770b4d22df3a0d787f46a00e947a0cf1bff1b988c0ccbd68",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/114167682564528243",
"activitypub"
]
],
"content": "but interacting with these partial definitions is usually remote. like, in the quoted thread, adding a new constructor to a type happens during a calculation for a function `f`, where we have to make a decision about how `f` is defined\n\nwe work on `f`, to also define `A`",
"sig": "837b810560a3947fc2d5c6aef7b49319381422d8f60ceb5c12ddbc69cf2e8cca17e77f8079aa800068ebeebd688c4f50abeffd3ff2d1f04350f3c01d8b2179cc"
}
