HN Explorer

7 comments

[ 0.30 ms ] story [ 25.8 ms ] thread
expede
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
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
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
Is this not from 2021?
convolvatron
This notion that procedural programs largely admit a declarative interpretation also shows up in simon peyton Jones’s verse effort
[deleted]
(comment deleted)