Talia Ringer on Nostr: What are some domain-specific program logics people know about? Particularly ...
What are some domain-specific program logics people know about? Particularly interested in domains where it's not obvious that the thing being reasoned about is a "program," but it can in fact be viewed as such, and so a logic can be built around it.
Published at
2024-09-15 17:08:53 UTCEvent JSON
{
"id": "0476e9e09a5f4d2c78c872d6039f2599ebfa813f3cd6bd6ad9a30ec1ceb705ba",
"pubkey": "ba882d8eae40379bcca9709e47ae52bc46e9a041db34c76a654584c8d9fcf1c4",
"created_at": 1726420133,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@TaliaRinger/113142669845149755",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/TaliaRinger/statuses/113142669845149755",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/TaliaRinger/statuses/113142669845149755",
"pink.momostr"
],
[
"-"
]
],
"content": "What are some domain-specific program logics people know about? Particularly interested in domains where it's not obvious that the thing being reasoned about is a \"program,\" but it can in fact be viewed as such, and so a logic can be built around it.",
"sig": "24482ba37062a9de667c31754a7d24b3f4b0cfc14cf4e2b9a5040ad7567491b20b7b4eec7e7a97c7815d336d7c6e601d387c398b05f4bb65acb246c61ddde6db"
}
