Mercurial :badapple: on Nostr: old school kirby have you defined rational numbers as equivalence classes of pairs of ...
old school kirby (npub1wg0…t0yf) have you defined rational numbers as equivalence classes of pairs of Integers yet
Mercurial :badapple: /
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"
}