You're pretty hyped about this, would you mind providing more details about the sections you find interesting? I've yet to read the paper.
Re:New Directions in Cloud Programming [pdf]
by d0gsg0w00f on Friday May 12, 2023 @12:49PM
(#35918745)
Snippets 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.
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.