News for hackers. Stuff that matters.
Re:New Directions in Cloud Programming [pdf] by expede on Friday May 12, 2023 @09:21AM (#35915859)
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.

Re:New Directions in Cloud Programming [pdf] by dpflan on Friday May 12, 2023 @09:32AM (#35915998)
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.
Re:New Directions in Cloud Programming [pdf] by asciii on Friday May 12, 2023 @09:55AM (#35916360)
Is this not from 2021?
Re:New Directions in Cloud Programming [pdf] by whynotmaybe on Friday May 12, 2023 @11:48AM (#35917865)
Re:New Directions in Cloud Programming [pdf] by convolvatron on Friday May 12, 2023 @10:10AM (#35916628)
This notion that procedural programs largely admit a declarative interpretation also shows up in simon peyton Jones’s verse effort