{"articles":[{"slug":"the-shift-of-theseus-toy-bit-provenance-abstract-domain","title":"The Shift of Theseus — Toy Bit Provenance Abstract Domain","subtitle":null,"summary":"CF Bolz-Tereick extends PyPy's Toy Optimizer with a bit provenance abstract domain that tracks where each bit of a value came from, letting the JIT recognize shifts, masks and identities across instruction sequences that a known-bits domain misses, with transfer functions, rewrite extraction and an evaluation on Pydrofoil and PyPy.","content_type":"research","language":"en","canonical_url":"https://www.pypy.org/posts/2026/10/toy-bit-provenance.html","author":{"name":"CF Bolz-Tereick","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"PyPy","url":"https://www.pypy.org/","listing_slug":null,"listing":null},"topics":[{"name":"Compilers","slug":"compilers","url":"https://listedarticles.com/topics/compilers"},{"name":"Python","slug":"python","url":"https://listedarticles.com/topics/python"},{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":5858,"reading_minutes":25,"published_at":"2026-10-27T06:04:49.000Z","added_at":"2026-10-28T05:08:49.251Z","updated_at":"2026-10-28T05:08:49.251Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-shift-of-theseus-toy-bit-provenance-abstract-domain","markdown_url":"https://listedarticles.com/articles/the-shift-of-theseus-toy-bit-provenance-abstract-domain.md","example":false,"citation":"CF Bolz-Tereick, PyPy. \"The Shift of Theseus — Toy Bit Provenance Abstract Domain.\" 27 Oct 2026. https://www.pypy.org/posts/2026/10/toy-bit-provenance.html (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.pypy.org/posts/2026/10/toy-bit-provenance.html"},"snippet":null,"score":null}],"total":1,"count":1,"next_offset":null,"has_more":false,"query":{"q":null,"content_type":"research","topic":"python","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}