Programming Models for Distributed Computation
11–20 of 30 posts
Re: Programming Models for Distributed Computation
#12The menu of papers for the associated class, https://heather.miller.am/teaching/cs7680/, looks really rich. The class is from 2016. Looks like the book dates from 2016-2017. My first impression was that this was work in progress ...
I'd be curious to see what from this set Adrian Colyer https://blog.acolyer.org/ has already digested.
A perhaps interesting follow on would be to see which of these programming models are manifest today across the big cloud services .. or how they have advanced from this legacy work.
Re: Programming Models for Distributed Computation
#13For those who didn't figure it out - instead of raw markdown you can read the book already in html format that browsers can render: http://dist-prog-book.com/chapter/
Re: Programming Models for Distributed Computation
#14lol hn never fails in it's shallow dismissal of an enormous amount of work: as of right now there's a comment on how this textbook is too shallow (I guess if it were a content marketing medium post it would be much better) and how it can't possibly be substantive because it's written in markdown . man what a bastion of intelligent discussion this place is.
It is fair to point out this is a product of a highly regarded computer science school.
So the honest question is: should we subject industry e.g. blogs to the same standard as the academy. I would think we should hold academic products to a much higher standard. I do agree criticism should be constructive. (One of PRs for example noted lack of mention of CSP.)
Re: Programming Models for Distributed Computation
#15lol hn never fails in it's shallow dismissal of an enormous amount of work: as of right now there's a comment on how this textbook is too shallow (I guess if it were a content marketing medium post it would be much better) and how it can't possibly be substantive because it's written in markdown . man what a bastion of intelligent discussion this place is.
It is fair to point out this is a product of a highly regarded computer science school. So the honest question is: should we subject industry e.g. blogs to the same standard as the academy. I would think we should hold academic products to a much higher standard. I do agree criticism should be constructive. (One of PRs for example noted lack of mention of CSP.)
>I would think we should hold academic products to a much higher standard
who is we? are you a tt prof at literally the number 1 cs school in the US? are you a reviewer for any distributed journals? the author of this book is a wildly successful researcher. why should i trust literally almost anyone's here opinion over their opinion?
Re: Programming Models for Distributed Computation
#16lol hn never fails in it's shallow dismissal of an enormous amount of work: as of right now there's a comment on how this textbook is too shallow (I guess if it were a content marketing medium post it would be much better) and how it can't possibly be substantive because it's written in markdown . man what a bastion of intelligent discussion this place is.
It is fair to point out this is a product of a highly regarded computer science school. So the honest question is: should we subject industry e.g. blogs to the same standard as the academy. I would think we should hold academic products to a much higher standard. I do agree criticism should be constructive. (One of PRs for example noted lack of mention of CSP.)
Maybe when you're assessing the relative quality we should consider this context with more weight, but should that excuse industry for presenting expertise via a light-weight puff piece PR posting?
Re: Programming Models for Distributed Computation
#17lol hn never fails in it's shallow dismissal of an enormous amount of work: as of right now there's a comment on how this textbook is too shallow (I guess if it were a content marketing medium post it would be much better) and how it can't possibly be substantive because it's written in markdown . man what a bastion of intelligent discussion this place is.
It is fair to point out this is a product of a highly regarded computer science school. So the honest question is: should we subject industry e.g. blogs to the same standard as the academy. I would think we should hold academic products to a much higher standard. I do agree criticism should be constructive. (One of PRs for example noted lack of mention of CSP.)
Hum... It does really depend.
Honestly, for me right now, coming from HN into random places, no I don't have different standards. But in a course having a textbook recommendation, yes, the standards are very different.
Anyway, you are out on a tangent. The work should be judged based on its quality, and for all the dimensions quality has, the presentation format is not one that matters.
Re: Programming Models for Distributed Computation
#18I haven’t checked these links for a couple of years, but here’s a collection of distributed systems reading lists I compiled.
Re: Programming Models for Distributed Computation
#19Linear Logic / Session Types seem interesting. I've poked around some of the papers, but I'm not sure how to approach the subject yet. https://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.ht...
Session Types, AFAIU are a specific implementation of a linear logic in some type system and I am not all too familiar with them in practice. However, I would like to think I am well versed in Linear Logic and Substructural Type Theory. I think the works by Wadler are a good place to start, in particular is a sort of review paper, based in intuitionistic logic (which he also covers in said paper), on linear logic. It’s called ‘A Taste of Linear Logic’ (I actually have the paper open in Safari on my iPhone as I type this) and it is written as a sort of primer on the area. Wadler’s bibliographies on the works contained in the pages you linked are a good source as well. If you are at all coming from a place of familiarity with Haskell, a decent overview of the current discussions on Linear Types in functional languages is at [2]. And lastly, if you like videos, Simon Peyton Jones has a great talk on YouTube [3] where he discusses practical linear types for Haskell, but the theory is not Haskell specific.
I will warn you that the latter two references make several arguments and then discuss uniqueness typing (which is related but very different) and that is a whole other rabbit hole of sources, but generally a good topic to dig into as well.
[1] https://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lin...
Re: Programming Models for Distributed Computation
#20lol hn never fails in it's shallow dismissal of an enormous amount of work: as of right now there's a comment on how this textbook is too shallow (I guess if it were a content marketing medium post it would be much better) and how it can't possibly be substantive because it's written in markdown . man what a bastion of intelligent discussion this place is.
Please don't make this place even worse by adding a supercilious dismissal to a shallow one.
If you think it's possible for a large, public internet forum not to get a lot of ignorant or shitty comments, that's extremely mistaken. What's necessary is for people who know more to post better ones. Since you seem to know more, you should be helping with that, not adding to the bottom of the barrel by dumping on it.
There are excellent comments at https://news.ycombinator.com/item?id=22710928 and https://news.ycombinator.com/item?id=22709644. I'm sure you could write something better if you tried. Indeed, you occasionally have done so.