Lobsters on Nostr: You could have invented denotational semantics https://lobste.rs/s/6i27yi #plt ...
Published at
2024-10-19 07:45:20Event JSON
{
"id": "25278a5c040082b5d9b845af3802929e4f7fc0de95440cae24a430ebfbaabc44",
"pubkey": "1077dd98df2bda054b0f036bcb875522655364a184a5f1d331ecdc61e4cf840d",
"created_at": 1729323920,
"kind": 1,
"tags": [
[
"t",
"plt"
],
[
"proxy",
"https://botsin.space/users/lobsters/statuses/113332972453823647",
"activitypub"
]
],
"content": "You could have invented denotational semantics https://lobste.rs/s/6i27yi #plt\nhttps://langdev.stackexchange.com/a/2021/1445",
"sig": "f53dcb59c0b57406b3fa49a59c99816b6955f3cfce17923aa245dfe92b8796d162089935e9ed1bbc0954839679077574ea667083e1e7e53aa37b509f7ae7c3d8"
}
