woo, POPL paper with npub1zpgl7t25rxkmmndrgyd0wf20f5rxl6agy6cyg4g35spggp25qs2sk8rwxz (npub1zpg…rwxz) and npub1jdfw9yvxvp2agh0vflsuqs0xrnuqz6cc876pnhk8haxt9nz6dwnq4t6tq7 (npub1jdf…6tq7) conditionally accepted! that is almost certainly the largest volume of work to go into a single paper that i’ve collaborated on, phew.
it’s about our logic programming language for expressing possibility spaces! we figured out how to describe a program’s set of stable models as a (single) datalog-style fixed point!
preprint and toot summary soon; meanwhile you can try the implementation here: https://dusa.rocks/
chris martens /
npub15p…mwhd2
2024-10-08 22:49:43
Author Public Key
npub15pejcagya70mssj8a5dp6htdkdw93h4wzk952favkktwh40sqs3scmwhd2Seen on
wss://relay.mostr.pubPublished at
2024-10-08 22:49:43Event JSON
{
"id": "657fc538994fcadb1aee9644923c4a228c1943fbfeb2d89164f1eb4c24c2727c",
"pubkey": "a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"created_at": 1728427783,
"kind": 1,
"tags": [
[
"p",
"1051ff2d5419adbdcda3411af7254f4d066feba826b0445511a4028405540415",
"wss://relay.mostr.pub"
],
[
"p",
"9352e291866055d45dec4fe1c041e61cf8016b183fb419dec7bf4cb2cc5a6ba6",
"wss://relay.mostr.pub"
],
[
"p",
"0a132ccf3affdcbc5ff51af583ea7269d88912ffaf46d15270b99b4bbf2aa838",
"wss://relay.mostr.pub"
],
[
"p",
"17efa61e32c9ca69537be6e42fb98dc9650296a0fa6e7f4da5e3efd4483a1904",
"wss://relay.mostr.pub"
],
[
"proxy",
"https://hci.social/users/chrisamaphone/statuses/113274243239210839",
"activitypub"
]
],
"content": "woo, POPL paper with nostr:npub1zpgl7t25rxkmmndrgyd0wf20f5rxl6agy6cyg4g35spggp25qs2sk8rwxz and nostr:npub1jdfw9yvxvp2agh0vflsuqs0xrnuqz6cc876pnhk8haxt9nz6dwnq4t6tq7 conditionally accepted! that is almost certainly the largest volume of work to go into a single paper that i’ve collaborated on, phew. \n\nit’s about our logic programming language for expressing possibility spaces! we figured out how to describe a program’s set of stable models as a (single) datalog-style fixed point!\n\npreprint and toot summary soon; meanwhile you can try the implementation here: https://dusa.rocks/",
"sig": "9ecacb096ed9a9214fc249907ab46cca829bccf097327808c70d487addd90b93a7f883fea7877d5b9de17106a19bf4288a74ba8b0480d5d092e229711e8335e3"
}