Event JSON
{
"id": "ba85f1ca17fb6e268bab1ae609eb4d9f35ed72c257975c3dfb281ae58a9e1ce2",
"pubkey": "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"created_at": 1744131931,
"kind": 1,
"tags": [
[
"p",
"06e17c43fb77671c8e51e7f02c872701fa733489b4db3b1d3c6a1683e30e4684",
"wss://relay.mostr.pub"
],
[
"p",
"f6e5f6bc41d8187e776540f170adeab6d0d71bf2f6e396e4a3a73394e20b0e1c",
"wss://relay.mostr.pub"
],
[
"e",
"1d98e42154c6cbce7c6995d4758dac50476a9418ea2299431e4b2ca8cfb2f04b",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jonmsterling/statuses/114303430243530187",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqqmshcslmwan3erj3ulczepe8q8a8xdyfkndnk8fudgtg8ccwg6zqlsl9jz I mean, much of PL is about studying equational theories of various kinds and their models; one place where this is especially important in CS these days is the theory of computational effects, after Plotkin \u0026 Power. It becomes pure category theory very quickly... But there are also people who study this stuff \"nuts and bolts\" without any abstraction.",
"sig": "760e66022df15ed833a7e2dfcec901d723cc613dea83cd2c49d3ac2df1143ddf06203b6eacc1dabd7ed48ecbe21038d09b27e38414b827bd9f4eaba993964609"
}
