Event JSON
{
"id": "3d205766034ab0a40d6bfcc689d61b8dc051bc24ce088d9d867e4e7e334db5f3",
"pubkey": "fa3a5805456e395f2027d211be93c057faf278459fe04d3cf24cda920fa3704c",
"created_at": 1723850034,
"kind": 1,
"tags": [
[
"proxy",
"https://rss-mstdn.studiofreesia.com/@ycombinator/112974235834532838",
"web"
],
[
"t",
"ycombinator"
],
[
"proxy",
"https://rss-mstdn.studiofreesia.com/users/ycombinator/statuses/112974235834532838",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://rss-mstdn.studiofreesia.com/users/ycombinator/statuses/112974235834532838",
"pink.momostr"
],
[
"-"
]
],
"content": "Synthesizing Abstract Transformers for Reduced-Product Domains\nhttps://arxiv.org/abs/2408.04040\n#ycombinator",
"sig": "57221de186d90df710dade5726e85203d9cacdf2cd4bb335790558b9c9f7f6b3b879ec51c3fd458eb671c600657250d44b85d64d22f9ff7efd6856f9d8282d93"
}