13 ms·

New Directions in Cloud Programming (2021) [pdf]

86 points by luu 3y ago

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 ago
  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.
  - d0gsg0w00f 3y ago
    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.
asciii 3y ago
Is this not from 2021?
- whynotmaybe 3y ago
  https://www.cidrdb.org/cidr2021/program.html 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 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=25815808 https://news.ycombinator.com/item?id=26061910 https://news.ycombinator.com/item?id=26061910 https://news.ycombinator.com/item?id=33310667 https://news.ycombinator.com/item?id=33310667 https://news.ycombinator.com/item?id=25748119 https://news.ycombinator.com/item?id=25748119 https://news.ycombinator.com/item?id=25948611 https://news.ycombinator.com/item?id=25948611
convolvatron 3y ago
This notion that procedural programs largely admit a declarative interpretation also shows up in simon peyton Jones’s verse effort
deleted 3y ago
[deleted]

86 points by luu 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 ago
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.
- d0gsg0w00f 3y ago
  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.

asciii 3y ago

Is this not from 2021?

whynotmaybe 3y ago
https://www.cidrdb.org/cidr2021/program.html 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 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=25815808 https://news.ycombinator.com/item?id=26061910 https://news.ycombinator.com/item?id=26061910 https://news.ycombinator.com/item?id=33310667 https://news.ycombinator.com/item?id=33310667 https://news.ycombinator.com/item?id=25748119 https://news.ycombinator.com/item?id=25748119 https://news.ycombinator.com/item?id=25948611 https://news.ycombinator.com/item?id=25948611

convolvatron 3y ago

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

deleted 3y ago

[deleted]