Hacker News Reader

Thank you for sharing the write up.

I think the model you are describing, has parallels with Yaron Minksy's Data Driven UIs, incrementally

https://www.youtube.com/watch?v=R3xX37RGJKE

Perhaps if you could review the above (if you have not done already), additional ideas/data points might help with your formalization effort.

View on HN

Thanks, great resource. I've had Incremental explained to me by a Jane Streeter and I'm sure it influenced my thinking, but it's always good to have public explanations.

If the academic stuff is interesting to you, then take look at functional reactive programming stuff from the scala ecosystem.

For example there is a paper by Martin Odersky himself on incremental computations on lists (which should be very familiar to you due to your work on Xi's ropes): https://link.springer.com/chapter/10.1007/978-3-642-39038-8_...

Reply on news.ycombinator.com