An absolute banger of a paper! (Hellerstein is a coauthor, so immediately expected to be good). Definitely some stuff in here that's further out, but a very clear articulation (or roadmap!) of where distributed systems could go.
Verified lifting is very cool but needs lots of research, though I'm unclear that's a hard requirement for this vision to become reality.
πππ π‘(add_person, ππ) β€ 0.01. The cost of running add_person
on ππ
instances of type π machines must be less than the
specified value. The value can either be specified by the
end user or provided by the hosting platform.
π ππ > 0. Allocate some machines to fulfill the workload.
Verified lifting is very cool but needs lots of research, though I'm unclear that's a hard requirement for this vision to become reality.