{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:3BLETTNSDNQZY3YXQQWY3AXPR6","short_pith_number":"pith:3BLETTNS","canonical_record":{"source":{"id":"1711.09197","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-25T06:20:10Z","cross_cats_sorted":[],"title_canon_sha256":"ddebf951cadb8efc4b5f10e9b1785b4974682902cc45b81715d59189625136a2","abstract_canon_sha256":"139f047767357c6942b053c4709c27ad0e1ead63bbe640da8d4ac9f644693c97"},"schema_version":"1.0"},"canonical_sha256":"d85649cdb21b619c6f17842d8d82ef8f8c3117fdb60cbcb135b7eb1684498a0d","source":{"kind":"arxiv","id":"1711.09197","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.09197","created_at":"2026-05-18T00:29:40Z"},{"alias_kind":"arxiv_version","alias_value":"1711.09197v1","created_at":"2026-05-18T00:29:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.09197","created_at":"2026-05-18T00:29:40Z"},{"alias_kind":"pith_short_12","alias_value":"3BLETTNSDNQZ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3BLETTNSDNQZY3YX","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3BLETTNS","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:3BLETTNSDNQZY3YXQQWY3AXPR6","target":"record","payload":{"canonical_record":{"source":{"id":"1711.09197","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-25T06:20:10Z","cross_cats_sorted":[],"title_canon_sha256":"ddebf951cadb8efc4b5f10e9b1785b4974682902cc45b81715d59189625136a2","abstract_canon_sha256":"139f047767357c6942b053c4709c27ad0e1ead63bbe640da8d4ac9f644693c97"},"schema_version":"1.0"},"canonical_sha256":"d85649cdb21b619c6f17842d8d82ef8f8c3117fdb60cbcb135b7eb1684498a0d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:40.254999Z","signature_b64":"A7BcevCkLr+CFtnmeV49yFUUSEXS5/WaYeWDuTPJSw9Zg2bWftOz+zdikEmjZQVjlcVvRolQ9ka3mF16lFh0BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d85649cdb21b619c6f17842d8d82ef8f8c3117fdb60cbcb135b7eb1684498a0d","last_reissued_at":"2026-05-18T00:29:40.254302Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:40.254302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.09197","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:29:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4rbG8TEtzyRy5WFPn3+5EoclhZxexGKWxR59Ck6bipOCe3iAUNS4oEf6NV0j67ohUpXHSuYwlmjMVqAgoOBpBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:23:56.399831Z"},"content_sha256":"7507f7794e27ad3b5371761b5d67ea78e650646161d65145affa203d85d1b680","schema_version":"1.0","event_id":"sha256:7507f7794e27ad3b5371761b5d67ea78e650646161d65145affa203d85d1b680"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:3BLETTNSDNQZY3YXQQWY3AXPR6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Declarativeness: the work done by something else","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Attila Egri-Nagy","submitted_at":"2017-11-25T06:20:10Z","abstract_excerpt":"Being declarative means that we do computer programming on higher levels of abstraction. This vague definition identifies declarativeness with the act of ignoring details, but it is a special case of abstraction. The unspecified part is some computational work. Automating computations and offloading mental processing are essentially the same concept, which is fundamental for both computational and mathematical thinking. This shows that declarativeness is not just a particular style, but it is the core idea of programming. Here we demonstrate this argument and examine its consequences for teach"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.09197","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:29:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LrkwLkmiu9hddex+WV1d1finrmY61x5/zQPrDsfKyAsKeCyr3SI7Ygx+Qt5cU7tShebcU0jimjK/66Kbpjc/CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:23:56.400348Z"},"content_sha256":"c6a7c7641488c110ebb8712d1c3d1c37070b8af740c58f64851ded328392200f","schema_version":"1.0","event_id":"sha256:c6a7c7641488c110ebb8712d1c3d1c37070b8af740c58f64851ded328392200f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3BLETTNSDNQZY3YXQQWY3AXPR6/bundle.json","state_url":"https://pith.science/pith/3BLETTNSDNQZY3YXQQWY3AXPR6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3BLETTNSDNQZY3YXQQWY3AXPR6/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-06-01T22:23:56Z","links":{"resolver":"https://pith.science/pith/3BLETTNSDNQZY3YXQQWY3AXPR6","bundle":"https://pith.science/pith/3BLETTNSDNQZY3YXQQWY3AXPR6/bundle.json","state":"https://pith.science/pith/3BLETTNSDNQZY3YXQQWY3AXPR6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3BLETTNSDNQZY3YXQQWY3AXPR6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:3BLETTNSDNQZY3YXQQWY3AXPR6","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":"139f047767357c6942b053c4709c27ad0e1ead63bbe640da8d4ac9f644693c97","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-25T06:20:10Z","title_canon_sha256":"ddebf951cadb8efc4b5f10e9b1785b4974682902cc45b81715d59189625136a2"},"schema_version":"1.0","source":{"id":"1711.09197","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.09197","created_at":"2026-05-18T00:29:40Z"},{"alias_kind":"arxiv_version","alias_value":"1711.09197v1","created_at":"2026-05-18T00:29:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.09197","created_at":"2026-05-18T00:29:40Z"},{"alias_kind":"pith_short_12","alias_value":"3BLETTNSDNQZ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3BLETTNSDNQZY3YX","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3BLETTNS","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:c6a7c7641488c110ebb8712d1c3d1c37070b8af740c58f64851ded328392200f","target":"graph","created_at":"2026-05-18T00:29:40Z","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":"Being declarative means that we do computer programming on higher levels of abstraction. This vague definition identifies declarativeness with the act of ignoring details, but it is a special case of abstraction. The unspecified part is some computational work. Automating computations and offloading mental processing are essentially the same concept, which is fundamental for both computational and mathematical thinking. This shows that declarativeness is not just a particular style, but it is the core idea of programming. Here we demonstrate this argument and examine its consequences for teach","authors_text":"Attila Egri-Nagy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-25T06:20:10Z","title":"Declarativeness: the work done by something else"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.09197","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:7507f7794e27ad3b5371761b5d67ea78e650646161d65145affa203d85d1b680","target":"record","created_at":"2026-05-18T00:29:40Z","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":"139f047767357c6942b053c4709c27ad0e1ead63bbe640da8d4ac9f644693c97","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-25T06:20:10Z","title_canon_sha256":"ddebf951cadb8efc4b5f10e9b1785b4974682902cc45b81715d59189625136a2"},"schema_version":"1.0","source":{"id":"1711.09197","kind":"arxiv","version":1}},"canonical_sha256":"d85649cdb21b619c6f17842d8d82ef8f8c3117fdb60cbcb135b7eb1684498a0d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d85649cdb21b619c6f17842d8d82ef8f8c3117fdb60cbcb135b7eb1684498a0d","first_computed_at":"2026-05-18T00:29:40.254302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:40.254302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A7BcevCkLr+CFtnmeV49yFUUSEXS5/WaYeWDuTPJSw9Zg2bWftOz+zdikEmjZQVjlcVvRolQ9ka3mF16lFh0BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:40.254999Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.09197","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7507f7794e27ad3b5371761b5d67ea78e650646161d65145affa203d85d1b680","sha256:c6a7c7641488c110ebb8712d1c3d1c37070b8af740c58f64851ded328392200f"],"state_sha256":"e7fe2eef3da50a89d993aeb00f8fc5e5b8f05c9ef558387ba9ddb19ce9752a34"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ak+eGwwC7DykXczwMeB/CKA0h1FHyjtgdNSSKsi6AyHnZRMLYh+1jMgs89HOv+sahZXcjTjBSR32i5xeN0D8Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T22:23:56.403845Z","bundle_sha256":"0fd923423f12d1ce7297477f5d096404517a218588bb08ec92576596765a4da6"}}