nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq35j6ulmqj5yxv64sq78nschdwwggaj929pqusv0qcxpwrmmgvjyqh0pw0n (nprofile…pw0n) I recently learned something(which I unfortunately have now forgotten) in finite model theory that actually REALLY depends on the confused traditional presentation of variables.
If it were not so punishing to work on, there could potentially be some interesting things to do in the area of figuring out wtf those people are doing and finding reasonable reformulations.
Jon Sterling
npub1hf…9ls8k
2026-02-19 07:38:52 UTC
in reply to nevent1q…333m
Author Public Key
npub1hfga8wmley5fzqtttpeupd8hc6s92rykfmzktm8zfdhu9h8exvqsj9ls8kSeen on
wss://relay.ditto.pubPublished at
2026-02-19 07:38:52 UTCEvent JSON
{
"id": "ecd099e3a8961957451c49fb00a0c2748256af47f6caaaf01b621f7a5d092ffe",
"pubkey": "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"created_at": 1771486732,
"kind": 1,
"tags": [
[
"p",
"8d25ae7f609508666ab0078f3862ed73908ec8aa2841c831e0c182e1ef686488",
"wss://relay.ditto.pub"
],
[
"p",
"85d7d0cd18fa4b1eecd29e60f3510ee421da1b5265ef796577a1aaae53d742ff",
"wss://relay.ditto.pub"
],
[
"e",
"cb20198f21264eb525f39b08c4b57469c136366bbc8a05490d335bcb523d62ba",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jonmsterling/statuses/116096154516578582",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq35j6ulmqj5yxv64sq78nschdwwggaj929pqusv0qcxpwrmmgvjyqh0pw0n I recently learned something(which I unfortunately have now forgotten) in finite model theory that actually REALLY depends on the confused traditional presentation of variables.\n\nIf it were not so punishing to work on, there could potentially be some interesting things to do in the area of figuring out wtf those people are doing and finding reasonable reformulations.",
"sig": "bb824c0c599ef17047eb2822848439b1e23683408665df25941d94317c06d84cb1534ff4e8feb069ee270b773dfbacc03be4ab9afac968efd8a8550286def72e"
}