history on this: this is something that aman was sort of challenged to do in a weekend as a sort of bet. it didnt end up working in that weekend but ended up working out overall! the post is quite fun as it walks through why the problem is hard.

its also important because it is a key primitive for doing good reliable multi-step code systems :)