A rendering loop for diffable UIs