New Directions in Cloud Programming (2021) [pdf](cidrdb.org)

86 pointsby luuil y a 3 ans6 comments

New Directions in Cloud Programming (2021) [pdf]

https://www.cidrdb.org/cidr2021/papers/cidr2021_paper16.pdf

7 comments

expedeil y a 3 ans

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.

dpflanil y a 3 ans

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.

d0gsg0w00fil y a 3 ans

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.

convolvatronil y a 3 ans

This notion that procedural programs largely admit a declarative interpretation also shows up in simon peyton Jones’s verse effort

[deleted]il y a 3 ans

asciiiil y a 3 ans

Is this not from 2021?

whynotmaybeil y a 3 ans

https://www.cidrdb.org/cidr2021/program.html

Wednesday 2021/01/13, Session 6: Trends and New Directions

Youtube video of the presentation : https://www.youtube.com/watch?v=FeRg-7Sr1L8

Previous "discussions" (0 comment each) :

https://news.ycombinator.com/item?id=25815808

https://news.ycombinator.com/item?id=26061910

https://news.ycombinator.com/item?id=33310667

https://news.ycombinator.com/item?id=25748119

https://news.ycombinator.com/item?id=25948611