Rob Simmons @ POPL on Nostr: Gonna talk about our paper on Dusa (https://dusa.rocks/) a minute! One of the reasons ...
Gonna talk about our paper on Dusa (
https://dusa.rocks/) a minute! One of the reasons
chris martens (npub1yp3…un2n) and I built this was Chris’s experience with answer set programming. It’s really useful, but we found every precise story about “what does an answer set program actually mean” really unsatisfying.
But saying something is unsatisfying prompts a question - what would make for a satisfying story? Is it just vibes, or can we say something more meaningful?
Published at
2024-10-12 02:44:42Event JSON
{
"id": "e7fcdee549a2c534f546757afbbaa7551d087aa57f816c41711b9d00fe8b89e0",
"pubkey": "6a96441ebe6cd23f675a00c2fb197910a48648c133e5bbc2e73c9736ae22f895",
"created_at": 1728701082,
"kind": 1,
"tags": [
[
"proxy",
"https://social.wub.site/@simrob/113292154174598786",
"web"
],
[
"p",
"20620c8fffc921adb198ad4e702673713d1543b1c59fbc83c4e652226a62dfa4"
],
[
"proxy",
"https://social.wub.site/users/simrob/statuses/113292154174598786",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://social.wub.site/users/simrob/statuses/113292154174598786",
"pink.momostr"
],
[
"-"
]
],
"content": "Gonna talk about our paper on Dusa (https://dusa.rocks/) a minute! One of the reasons nostr:npub1yp3qerlleys6mvvc4488qfnnwy732sa3ck0meq7yuefzy6nzm7jqxsun2n and I built this was Chris’s experience with answer set programming. It’s really useful, but we found every precise story about “what does an answer set program actually mean” really unsatisfying.\n\nBut saying something is unsatisfying prompts a question - what would make for a satisfying story? Is it just vibes, or can we say something more meaningful?",
"sig": "6af6cc8bad28d79d57d80ca9a627eae903dbcde6b799f93cf08b5f4c84a86280eed88856ca0cd484e4bc870d0d12426fa55263275dddf0dbe39b6291981f6916"
}
