weilawei on Nostr: Alright, #computerScience nerds. I'm looking for papers, and hoping some night-owl ...
Alright, #computerScience nerds. I'm looking for papers, and hoping some night-owl specializes in this. I'm a glorified plumber, despite decades of experience, and I'm looking for literature specifically on the *expression* and fast verification of constraints on rooted DAGs (not finding them in the first place, which is what all the work seems to be on).
Any good references?
Published at
2024-01-21 07:32:48Event JSON
{
"id": "324e10a78a268e03ca18e5e5f3214dd9e3a865218e37f774c6ceb2e8cdf9b721",
"pubkey": "cec5a392d62eb562eb544d4e707e22ff6fda8d0ebca281ab79351dcefabaf63b",
"created_at": 1705822368,
"kind": 1,
"tags": [
[
"t",
"computerscience"
],
[
"proxy",
"https://mastodon.online/users/weilawei/statuses/111792774741462939",
"activitypub"
]
],
"content": "Alright, #computerScience nerds. I'm looking for papers, and hoping some night-owl specializes in this. I'm a glorified plumber, despite decades of experience, and I'm looking for literature specifically on the *expression* and fast verification of constraints on rooted DAGs (not finding them in the first place, which is what all the work seems to be on).\n\nAny good references?",
"sig": "a26c3f751939c693c3b46ccc79c23ba3e1039dd88b68e91e86ba41ba4f9c80aaea46210de9f6d69ddb95c3aef8ba8615bdabbf7c957a043a0d1379633fdc06ab"
}
