on Nostr: I am still :ablobcatsweatsip: ing yeah like, axioms are just building blocks for ...
I am still :ablobcatsweatsip: ing (npub1y6t…9wl9) yeah like, axioms are just building blocks for theorems I guess, they just are and you can't prove them. also when I learned the the supremum of an empty subset of R is -infinity and the infimum of it is +infinity because nothing is smaller than -infinity and nothing is bigger than +infinity it just felt like good old enable_if template fuckery to me, lmao
Published at
2023-09-15 16:59:38Event JSON
{
"id": "0a2d2a52ba6fafa404a500b934e446f2cdb360cc6eb877f687db867ebc98cba1",
"pubkey": "0c0de16ff59e79a63e29ce820c3435fb309ad6bb4c1c4a8fe9128f03c9cb1496",
"created_at": 1694797178,
"kind": 1,
"tags": [
[
"p",
"26976d1f3f3270311c86a59315751d66bd770aa35a929529271fca721afee1af",
"wss://relay.mostr.pub"
],
[
"e",
"cb1eece100fb17d8d425a209beb1c572e74937124b1cf7e00afa88aaace8f998",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://ryona.agency/objects/63c3411f-ed2a-4843-82ea-5f489f71b8e2",
"activitypub"
]
],
"content": "nostr:npub1y6tk68elxfcrz8yx5kf32agav67hwz4rt2ff22f8rl98yxh7uxhsx69wl9 yeah like, axioms are just building blocks for theorems I guess, they just are and you can't prove them. also when I learned the the supremum of an empty subset of R is -infinity and the infimum of it is +infinity because nothing is smaller than -infinity and nothing is bigger than +infinity it just felt like good old enable_if template fuckery to me, lmao",
"sig": "881d43d0cd967b609a0be9bf361f2627ea93c79182eb0ca761616b23e8dc970b11db7af15fea50d667de4c48e7ab56aedd21e2bab3dda819625a6f5839783196"
}
