{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BJ6WDJUVHHSMRVZ6MPBGA5NR6W","short_pith_number":"pith:BJ6WDJUV","canonical_record":{"source":{"id":"1811.06150","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-11-15T02:51:29Z","cross_cats_sorted":["cs.LG","stat.CO"],"title_canon_sha256":"eec688a2fe82af20cfd8bf15d2848ca64e54882d2b49461cc7052be83cf34f6b","abstract_canon_sha256":"e66ea2d9e936d330345c8a20ea7efc867ff8fa8b9746173d78b3ffdca80f6420"},"schema_version":"1.0"},"canonical_sha256":"0a7d61a69539e4c8d73e63c26075b1f5b8f86cb4578a190cfdd11b0ad25c9eb1","source":{"kind":"arxiv","id":"1811.06150","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.06150","created_at":"2026-05-18T00:00:38Z"},{"alias_kind":"arxiv_version","alias_value":"1811.06150v1","created_at":"2026-05-18T00:00:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06150","created_at":"2026-05-18T00:00:38Z"},{"alias_kind":"pith_short_12","alias_value":"BJ6WDJUVHHSM","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BJ6WDJUVHHSMRVZ6","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BJ6WDJUV","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BJ6WDJUVHHSMRVZ6MPBGA5NR6W","target":"record","payload":{"canonical_record":{"source":{"id":"1811.06150","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-11-15T02:51:29Z","cross_cats_sorted":["cs.LG","stat.CO"],"title_canon_sha256":"eec688a2fe82af20cfd8bf15d2848ca64e54882d2b49461cc7052be83cf34f6b","abstract_canon_sha256":"e66ea2d9e936d330345c8a20ea7efc867ff8fa8b9746173d78b3ffdca80f6420"},"schema_version":"1.0"},"canonical_sha256":"0a7d61a69539e4c8d73e63c26075b1f5b8f86cb4578a190cfdd11b0ad25c9eb1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:38.524336Z","signature_b64":"K/RAEXt/pnPplme3ylUBp9NQtAcsENG3ERrO40C/RctKVVR7P6LYTk92r4XJd+Eoz8D9xSWJWxi67FpmZC77BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0a7d61a69539e4c8d73e63c26075b1f5b8f86cb4578a190cfdd11b0ad25c9eb1","last_reissued_at":"2026-05-18T00:00:38.523933Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:38.523933Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.06150","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:00:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wCv3Yoy3w5zwXJoX6PyL4Fl2LvtVvYMl2yaeVzHNOQ8sasJSlfmAd5vszCwbP+Lv4QXaQoO69aHeZ3mG/Y5WDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:34:59.149857Z"},"content_sha256":"828e3927f0923b544fcad09e2ac7565568cde15c5e10391b152893173e7173c3","schema_version":"1.0","event_id":"sha256:828e3927f0923b544fcad09e2ac7565568cde15c5e10391b152893173e7173c3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BJ6WDJUVHHSMRVZ6MPBGA5NR6W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Effect Handling for Composable Program Transformations in Edward2","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","stat.CO"],"primary_cat":"cs.PL","authors_text":"Dave Moore, Maria I. Gorinova","submitted_at":"2018-11-15T02:51:29Z","abstract_excerpt":"Algebraic effects and handlers have emerged in the programming languages community as a convenient, modular abstraction for controlling computational effects. They have found several applications including concurrent programming, meta programming, and more recently, probabilistic programming, as part of Pyro's Poutines library. We investigate the use of effect handlers as a lightweight abstraction for implementing probabilistic programming languages (PPLs). We interpret the existing design of Edward2 as an accidental implementation of an effect-handling mechanism, and extend that design to sup"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06150","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:00:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xUoDrV6NccFW+vCSI4DGLvc5hx46ZepM7sre/wflq51PRrHyTeNRMXHhvK5X6qNviOsjxxLLfsANp+bb4uTwAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:34:59.150551Z"},"content_sha256":"76e498010188a6ea8da0492912afc24f39fb0e0022c6cbce6c7b053cfa871eb6","schema_version":"1.0","event_id":"sha256:76e498010188a6ea8da0492912afc24f39fb0e0022c6cbce6c7b053cfa871eb6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BJ6WDJUVHHSMRVZ6MPBGA5NR6W/bundle.json","state_url":"https://pith.science/pith/BJ6WDJUVHHSMRVZ6MPBGA5NR6W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BJ6WDJUVHHSMRVZ6MPBGA5NR6W/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-26T00:34:59Z","links":{"resolver":"https://pith.science/pith/BJ6WDJUVHHSMRVZ6MPBGA5NR6W","bundle":"https://pith.science/pith/BJ6WDJUVHHSMRVZ6MPBGA5NR6W/bundle.json","state":"https://pith.science/pith/BJ6WDJUVHHSMRVZ6MPBGA5NR6W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BJ6WDJUVHHSMRVZ6MPBGA5NR6W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BJ6WDJUVHHSMRVZ6MPBGA5NR6W","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e66ea2d9e936d330345c8a20ea7efc867ff8fa8b9746173d78b3ffdca80f6420","cross_cats_sorted":["cs.LG","stat.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-11-15T02:51:29Z","title_canon_sha256":"eec688a2fe82af20cfd8bf15d2848ca64e54882d2b49461cc7052be83cf34f6b"},"schema_version":"1.0","source":{"id":"1811.06150","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.06150","created_at":"2026-05-18T00:00:38Z"},{"alias_kind":"arxiv_version","alias_value":"1811.06150v1","created_at":"2026-05-18T00:00:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06150","created_at":"2026-05-18T00:00:38Z"},{"alias_kind":"pith_short_12","alias_value":"BJ6WDJUVHHSM","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BJ6WDJUVHHSMRVZ6","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BJ6WDJUV","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:76e498010188a6ea8da0492912afc24f39fb0e0022c6cbce6c7b053cfa871eb6","target":"graph","created_at":"2026-05-18T00:00:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Algebraic effects and handlers have emerged in the programming languages community as a convenient, modular abstraction for controlling computational effects. They have found several applications including concurrent programming, meta programming, and more recently, probabilistic programming, as part of Pyro's Poutines library. We investigate the use of effect handlers as a lightweight abstraction for implementing probabilistic programming languages (PPLs). We interpret the existing design of Edward2 as an accidental implementation of an effect-handling mechanism, and extend that design to sup","authors_text":"Dave Moore, Maria I. Gorinova","cross_cats":["cs.LG","stat.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-11-15T02:51:29Z","title":"Effect Handling for Composable Program Transformations in Edward2"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06150","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:828e3927f0923b544fcad09e2ac7565568cde15c5e10391b152893173e7173c3","target":"record","created_at":"2026-05-18T00:00:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e66ea2d9e936d330345c8a20ea7efc867ff8fa8b9746173d78b3ffdca80f6420","cross_cats_sorted":["cs.LG","stat.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-11-15T02:51:29Z","title_canon_sha256":"eec688a2fe82af20cfd8bf15d2848ca64e54882d2b49461cc7052be83cf34f6b"},"schema_version":"1.0","source":{"id":"1811.06150","kind":"arxiv","version":1}},"canonical_sha256":"0a7d61a69539e4c8d73e63c26075b1f5b8f86cb4578a190cfdd11b0ad25c9eb1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0a7d61a69539e4c8d73e63c26075b1f5b8f86cb4578a190cfdd11b0ad25c9eb1","first_computed_at":"2026-05-18T00:00:38.523933Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:38.523933Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"K/RAEXt/pnPplme3ylUBp9NQtAcsENG3ERrO40C/RctKVVR7P6LYTk92r4XJd+Eoz8D9xSWJWxi67FpmZC77BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:38.524336Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.06150","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:828e3927f0923b544fcad09e2ac7565568cde15c5e10391b152893173e7173c3","sha256:76e498010188a6ea8da0492912afc24f39fb0e0022c6cbce6c7b053cfa871eb6"],"state_sha256":"c86bdb0f866e198eff8871b9a6b3a81531b6eee583acdbc21d8750e4eb7930e1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2KYc0tWYKg0D6u1A5UdmIk6H9zlaWiC2V0JcDRdJW4TA3cxsxNnkQqqb/pZ8uidV+gvu+IAPPbYzud/GJjhbCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T00:34:59.154296Z","bundle_sha256":"8c52f0e5023ab1e108bc7168de68a621be21c9314d19bf9b186a00bd803f0ebe"}}