{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:YHYRICX4RWTV5F6ZJ25AHCVRJ3","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":"7c3cff484590ccc3fe9ad4cd7904fb889b71f88d8215ecba8051cb00d2fd2ed1","cross_cats_sorted":["cs.CY","cs.HC","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-11-29T19:02:25Z","title_canon_sha256":"9e308f8f85f1388fa8593d8bde02c0f221255476ce85bc9e530f2935e9348347"},"schema_version":"1.0","source":{"id":"2412.00206","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.00206","created_at":"2026-07-05T09:42:37Z"},{"alias_kind":"arxiv_version","alias_value":"2412.00206v1","created_at":"2026-07-05T09:42:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.00206","created_at":"2026-07-05T09:42:37Z"},{"alias_kind":"pith_short_12","alias_value":"YHYRICX4RWTV","created_at":"2026-07-05T09:42:37Z"},{"alias_kind":"pith_short_16","alias_value":"YHYRICX4RWTV5F6Z","created_at":"2026-07-05T09:42:37Z"},{"alias_kind":"pith_short_8","alias_value":"YHYRICX4","created_at":"2026-07-05T09:42:37Z"}],"graph_snapshots":[{"event_id":"sha256:d3d1c855157b7fc7a7d23dce43c65d4082afcff20ab64664c104244bf3d73bd7","target":"graph","created_at":"2026-07-05T09:42:37Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2412.00206/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This article explores the evolving role of programming languages in the context of artificial intelligence. It highlights the need for programming languages to ensure human understanding while eliminating unnecessary implementation details and suggests that future programs should be designed to recognize and actively support user interests. The vision includes a three-level process: using natural language for requirements, translating it into a precise system definition language, and finally optimizing the code for performance. The concept of an \"Ultimate Programming Language\" is introduced, e","authors_text":"Bart{\\l}omiej Skowron, Bartosz Sawicki, Micha{\\l} \\'Smia{\\l}ek","cross_cats":["cs.CY","cs.HC","cs.PL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-11-29T19:02:25Z","title":"Towards the Ultimate Programming Language: Trust and Benevolence in the Age of Artificial Intelligence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.00206","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:be02991fd77e18e6ed448f96d20283c6897ce1cf979ac1163134c22f13e108f5","target":"record","created_at":"2026-07-05T09:42:37Z","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":"7c3cff484590ccc3fe9ad4cd7904fb889b71f88d8215ecba8051cb00d2fd2ed1","cross_cats_sorted":["cs.CY","cs.HC","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-11-29T19:02:25Z","title_canon_sha256":"9e308f8f85f1388fa8593d8bde02c0f221255476ce85bc9e530f2935e9348347"},"schema_version":"1.0","source":{"id":"2412.00206","kind":"arxiv","version":1}},"canonical_sha256":"c1f1140afc8da75e97d94eba038ab14ee23487d3eca3247a02e97afd372554b0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1f1140afc8da75e97d94eba038ab14ee23487d3eca3247a02e97afd372554b0","first_computed_at":"2026-07-05T09:42:37.408503Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:42:37.408503Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R+FKUMOpLWN6XdXo9QHWSEpTFXefjqctdASLnDJeZMaordbb8bufmh5K2wXlUoyCiqC5JeSLwu9cihL8KPvBAA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:42:37.409058Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.00206","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:be02991fd77e18e6ed448f96d20283c6897ce1cf979ac1163134c22f13e108f5","sha256:d3d1c855157b7fc7a7d23dce43c65d4082afcff20ab64664c104244bf3d73bd7"],"state_sha256":"00840b5956ba732469c5319938ddd1442deab4db276907d624da30c3da007b5e"}