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

andrew blinn on X: "@rsnous i like to think about this as a kind of 'unstepping'. algebraic steppers take an expression and incrementally push it towards a value; instead i want to be able to grab the values i see, and incrementally unfold them like origami into their engendering processes" / X

twitter.com · 69 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 · Jul 16, 2021 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) 20 16 132 andrew blinn @disconcision i like to think about this as a kind of 'unstepping'. algebraic steppers take an expression and incrementally push it towards a value; instead i want to be able to grab the values i see, and incrementally unfold them like origami into their engendering processes 11:43 PM · Jul 16, 2021 1 10 Post your reply Reply Omar Rizwan @rsnous · Jul 16, 2021 i was thinking about like Whyline https://cs.cmu.edu/~NatProg/whyline.html… and i wonder if historical

andrew blinn in sf ⏱️ @disconcision Replying to @rsnous i like to think about this as a kind of 'unstepping'. algebraic steppers take an expression and incrementally push it towards a value; instead i want to be able to grab the values i see, and incrementally unfold them like origami into their engendering processes 3:43 AM · Jul 17, 2021 1 0 1 8 0 8 Read 1 reply

Explore this link on the map →

related reading