MercurialBlack on Nostr: moving to @nyanide@lab.nyanide.com have you defined rational numbers as equivalence ...
moving to @nyanide@lab.nyanide.com (npub1wg0…t0yf) have you defined rational numbers as equivalence classes of pairs of Integers yet
MercurialBlack /
npub100…vevsv
2024-09-07 21:58:39
in reply to nevent1q…yuca
Author Public Key
npub1007nmq8hj2v9zfudpvpv65q8gtcl8kgyetlkpgh0mmu34q28yges7vevsvPublished at
2024-09-07 21:58:39Event JSON
{
"id": "f3ccf2f3a8f4011f0c6fc8c1d8f0a9af2e65ee44072d6739806495d6f2855167",
"pubkey": "7bfd3d80f7929851278d0b02cd500742f1f3d904caff60a2efdef91a81472233",
"created_at": 1725746319,
"kind": 1,
"tags": [
[
"p",
"721eacb3df4ee6374240e2978da81baa1daa75cf6908e4b988ea4130112f53b6",
"wss://relay.mostr.pub"
],
[
"e",
"160cf554c81c6d826def22564b658613a63a63203bd558576bd7af9272e607f9",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://lab.nyanide.com/objects/f9c70535-fdd6-4bcf-a8f1-eacbb8069424",
"activitypub"
]
],
"content": "nostr:npub1wg02ev7lfmnrwsjqu2tcm2qm4gw65aw0dyywfwvgafqnqyf02wmqhht0yf have you defined rational numbers as equivalence classes of pairs of Integers yet",
"sig": "15c8158d0f7bbca1c921a67b475ed685504676660c5f2b42a6f0967136a0a56c1adf61d53714ff48dcfe7cf1ff42be4e3119d60a7e87d1e2540792f8245df31c"
}