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?
Rob Simmons /
npub1d2…fdzc9
2024-10-12 02:44:42
Author Public Key
npub1d2tyg847dnfr7e66qrp0kxtezzjgvjxpx0jmhsh88jtndt3zlz2sffdzc9Published 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"
}