nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqqxljff9c9erzmwzufdp877ade74trj5cxlag8x05vn7xx6x6nsfq7tyg3m (nprofile…yg3m) I did it as an integral from first principles, and also using Mathematica’s boolean operations on its Region structures, and I got the same answer by both methods.
You can probably cajole Wolfram Alpha into doing boolean operations on regions as well, but I haven’t tried; I guess it takes verbatim Mathematica code, though sometimes it gets sulky because it wants you to flatter it by pretending it can interpret natural language.
Greg Egan
npub1qq…j5nhv
2025-08-19 07:11:31 UTC
in reply to nevent1q…3646
Author Public Key
npub1qqm7nu2qf25xd3mw6y6cyp4v2wr7ktf43ymp5wqz4u8jvz76ymtsjj5nhvPublished at
2025-08-19 07:11:31 UTCEvent JSON
{
"id": "6edf90ffba970d448d8024d3d4f7ca3d6a01e08b1c4d57fbfae60d411519bc8f",
"pubkey": "0037e9f1404aa866c76ed1358206ac5387eb2d3589361a3802af0f260bda26d7",
"created_at": 1755587491,
"kind": 1,
"tags": [
[
"p",
"01bf24a4b82e462db85c4b427f7badcfaab1ca9837fa8399f464fc6368da9c12",
"wss://relay.mostr.pub"
],
[
"p",
"ef3829d7c5a4ff7851411961d49524634607f5a50140873fe83280ac22fa3c30",
"wss://relay.mostr.pub"
],
[
"e",
"0298721d6bc831d5f6dd2ec5f5f4360a0d8613a2ca6e775ea27ae77996a2c3f8",
"wss://relay.mostr.pub",
"reply"
],
[
"content-warning",
"LLMs failing at maths"
],
[
"proxy",
"https://mathstodon.xyz/users/gregeganSF/statuses/115054181811064584",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqqxljff9c9erzmwzufdp877ade74trj5cxlag8x05vn7xx6x6nsfq7tyg3m I did it as an integral from first principles, and also using Mathematica’s boolean operations on its Region structures, and I got the same answer by both methods.\n\nYou can probably cajole Wolfram Alpha into doing boolean operations on regions as well, but I haven’t tried; I guess it takes verbatim Mathematica code, though sometimes it gets sulky because it wants you to flatter it by pretending it can interpret natural language.",
"sig": "b4232a2905d73438ff2a9161c5b749baa190306cc60022a74363b2d6acb8d92f10b4a3aee6b639f035f0e5fda88d1dac6e6fb89dfc0c904dcb367da1357c0fda"
}