✳flâneur — a map of the web's best reading

Omar Rizwan on X: "it feels like we keep orbiting this: a programming system where when you have a value, say `4`, it always comes with a provenance? (did it come from evaluating `2+2`, did you prompt the user and they typed in `4`, etc: these are all different flavored `4`s)" / X

twitter.com · 75 words · saved by 1 readers

To view keyboard shortcuts, press question mark View keyboard shortcuts Home Explore Notifications Messages Grok Lists Bookmarks Communities Premium Profile More Post chloe @_chloeyan Post See new posts Conversation Omar Rizwan @rsnous it feels like we keep orbiting this: a programming system where when you have a value, say `4`, it always comes with a provenance? (did it come from evaluating `2+2`, did you prompt the user and they typed in `4`, etc: these are all different flavored `4`s) 11:20 PM · Jul 16, 2021 20 16 132 21 Post your reply Reply Omar Rizwan @rsnous · Jul 16, 2021 Quote Will Crichton @tonofcrates · Jun 3, 2021 Tracking the lineage of code across transformations is such a fundamental problem these days. Source-maps, debuggers, macros, ... We need a programming model where lineage (or provenance or whatever) is tracked *by construction*. x.com/pcwalton/statu… 1 18 Omar Rizwan @rsnous · Jul 16, 2021 like ideally provenance subsumes 'source maps' (https://github.com/m

Omar Rizwan @rsnous it feels like we keep orbiting this: a programming system where when you have a value, say `4`, it always comes with a provenance? (did it come from evaluating `2+2`, did you prompt the user and they typed in `4`, etc: these are all different flavored `4`s) 3:20 AM · Jul 17, 2021 19 0 1 9 9 0 9 122 0 1 2 2 24 0 2 4 Read 19 replies

Explore this link on the map →

related reading