nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrgd7heng7z3cv2f6ddtm8zqxx3rxwh84wvk27nus3rl9qq9endsqr8a7rw (nprofile…a7rw)
Do you have a recommended reference for SDT? I definitely won't be able to get to it in class. Only 6 hours of lecture left and I'd like to do basic guarded domain theory as well
Max S. New ⚜️
npub1dm…g9dey
2025-11-22 18:40:29 UTC
in reply to nevent1q…t6f4
Author Public Key
npub1dmn630rgl55pt7vgee6l930wfqjq6jry973hqf90fs6kgxztzd8qrg9deyPublished at
2025-11-22 18:40:29 UTCEvent JSON
{
"id": "0cf4812b8e991dcb08942566e4efe653c027107ad80494ee1f9f7ba3a042d4c7",
"pubkey": "6ee7a8bc68fd2815f988ce75f2c5ee48240d48642fa37024af4c3564184b134e",
"created_at": 1763836829,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.ditto.pub/"
],
[
"p",
"d0df5f3347851c3149d35abd9c4031a2333ae7ab99657a7c8447f28005ccdb00",
"wss://relay.ditto.pub/"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.ditto.pub/"
],
[
"p",
"da617e0ef582a5eaa0f7707bbebf5201ae243df7f7f7b75c94d2a91136f46f24",
"wss://relay.ditto.pub/"
],
[
"e",
"45a7f226d6f0ed45b334eb0ca50fe0dd64e24b156fb3a96fd423b1fd1ac9b634",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://types.pl/users/maxsnew/statuses/115594810481300049",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrgd7heng7z3cv2f6ddtm8zqxx3rxwh84wvk27nus3rl9qq9endsqr8a7rw \n\nDo you have a recommended reference for SDT? I definitely won't be able to get to it in class. Only 6 hours of lecture left and I'd like to do basic guarded domain theory as well",
"sig": "1854304f4f5f7f4bebfe43f3e565b495db2838f1ade01936f6a8d145e853896ee28ab816c9711502d3d7215ea67f0fea57a0bfd0c2c49ba16909872473a9d919"
}