<p>Two probably unrelated questions:<br>
- I just glanced at the paper &quot;observational equality, now!&quot; and it seemed pretty appealing although I lack the background to grasp the finer points. What is the relationship of the ur/web type system to one along the lines therein, relative tradeoffs between them, could the ideas there be implemented for ur/web, are they in some maybe partial sense already?<br>

- I glanced at the demos and saw that to be really functional state is often passed in the url. What techniques are used to avoid the security pitfalls of dangling application state out like that while remaining idiomatic? Pointers to existing documentation are fine, I haven&#39;t read much of it.</p>