nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz4g9497lls2ey4v3rxtld6a8m5rh7meav97tqfhnceyja6wn0lpgng99up (nprofile…99up) Actually, now that I think of it, there's no reason to have a separate universe of strict propositions in this setup; the closed modality can just serve as a "strict truncation" operator.
Perhaps this would address the concern about forcing people to make agonizing decisions by unifying the landscape of propositions a bit better?
Owen Lynch
npub1cj…fxs07
2025-11-24 17:58:33 UTC
in reply to nevent1q…lr9m
Author Public Key
npub1cjyyl7y66997ewku92pzvvhkyec43k7cde44rhgayxdwwl63axdqafxs07Seen on
wss://relay.ditto.pubPublished at
2025-11-24 17:58:33 UTCEvent JSON
{
"id": "68ecb868c163e1c5c65291895aa0d2b17b926aeb31c47cef994236f8ccaea037",
"pubkey": "c4884ff89ad14becbadc2a822632f6267158dbd86e6b51dd1d219ae77f51e99a",
"created_at": 1764007113,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.ditto.pub/"
],
[
"p",
"aa82d4beffe0ac92ac88ccbfb75d3ee83bfb79eb0be581379e3249774e9bfe14",
"wss://relay.ditto.pub/"
],
[
"p",
"406cda1605d9d95b1e39a78327c3891afba2baecd30a02b403c900e6d3f9bb58",
"wss://relay.ditto.pub/"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.ditto.pub/"
],
[
"e",
"745e9c905a3e49739f0c8e397c417075e49d957c0a5d712c8bc75fb93dd95613",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/olynch/statuses/115605970174718457",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz4g9497lls2ey4v3rxtld6a8m5rh7meav97tqfhnceyja6wn0lpgng99up Actually, now that I think of it, there's no reason to have a separate universe of strict propositions in this setup; the closed modality can just serve as a \"strict truncation\" operator.\n\nPerhaps this would address the concern about forcing people to make agonizing decisions by unifying the landscape of propositions a bit better?",
"sig": "5a5357c47f1074029200f8f1de3ae401057e985e981077eef908968a1093347d252a685d3c65ab073d22d7d4a41dc9e6b63db35b7121ae90d5d391cc37977498"
}