This reminds me of the observation that there's a representation of numeric quantities that can perform both addition and multiplication of numbers in constant time, but it's useless for numeric calculation because there's no corresponding algorithm for the ≤ relation.
(The representation being expression trees with numbers at the leaves.)
Mark Dominus
npub1zf…x8xdp
2026-04-27 08:27:04 UTC
in reply to nevent1q…uyk0
Author Public Key
npub1zfyhk2vwxl5cm5xjzyp409jd58fjs9jxzzhefdc0xlywtypna6ksgx8xdpSeen on
wss://relay.momostr.pinkPublished at
2026-04-27 08:27:04 UTCEvent JSON
{
"id": "13d0c52f030a55ef9915cc689124036418a4f169fc86d1e6c4a070169e4ea8b2",
"pubkey": "12497b298e37e98dd0d2110357964da1d328164610af94b70f37c8e59033eead",
"created_at": 1777278424,
"kind": 1,
"tags": [
[
"p",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"e",
"1a59dd23ade9dd817b8f9d3a30ec111ffb10c2f3d203ef8c7e2e7dffcfb20fc9",
"",
"root",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"proxy",
"https://mathstodon.xyz/@mjd/116475718796047934",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/mjd/statuses/116475718796047934",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/mjd/statuses/116475718796047934",
"pink.momostr"
],
[
"-"
]
],
"content": "This reminds me of the observation that there's a representation of numeric quantities that can perform both addition and multiplication of numbers in constant time, but it's useless for numeric calculation because there's no corresponding algorithm for the ≤ relation.\n\n(The representation being expression trees with numbers at the leaves.)",
"sig": "74c43f51ef8b61022ecbb14ec248048cf1e8e573cb0c6021d9d215853a42f1512a46954b896ac97f9fe0ff90ae6ca87f739e0b454b0762c2fd34dd4c80464838"
}