3 msΒ·
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 cle
by expede 3y ago
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.
- dpflan 3y agoYou're pretty hyped about this, would you mind providing more details about the sections you find interesting? I've yet to read the paper.
- d0gsg0w00f 3y agoSnippets like this do it for me πππ π‘(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.