cmeiklejohn

8 ms·

31.
by cmeiklejohn 7y ago
oh, very clever
32.
by cmeiklejohn 7y ago
Thanks, would love the feedback!
33.
by cmeiklejohn 7y ago
Thank you, John!!
34.
by cmeiklejohn 7y ago
Heather Miller wrote a nice summary of the major points on Twitter [1]. [1] https://twitter.com/heathercmiller/status/114904027450238156...
35.
by cmeiklejohn 7y ago
The USENIX conference talk is better -- it was recorded, but appears to not be available yet (otherwise, it would be on the linked page.)
36.
by cmeiklejohn 7y ago
Author here, we've also got a GitHub repository with information on reproducing our results and other information available. [1] https://github.com/cmeiklejohn/partisan-usenix-atc-2019 [2] http://partis
37.
What Spectre Means for Lanugage Implementers [video](youtube.com)
42 points by cmeiklejohn 7y ago|17 comments
38.
The Correct Cloud – Logic and Languages [video](youtube.com)
2 points by cmeiklejohn 7y ago|0 comments
39.
Stateful Serverless: Critical Sections with Azure Durable Functions(christophermeiklejohn.com)
1 points by cmeiklejohn 7y ago|0 comments
40.
High-performance, large clusters for Distributed Actors(partisan.cloud)
8 points by cmeiklejohn 7y ago|0 comments
41.
Using Fault-Injection to Evolve a Reliable Broadcast Protocol(christophermeiklejohn.com)
10 points by cmeiklejohn 7y ago|0 comments
42.
by cmeiklejohn 7y ago
Yes?
43.
Partisan: Larger clusters, high-performance messaging for distributed actors(partisan.cloud)
4 points by cmeiklejohn 7y ago|3 comments
44.
Partisan: Larger clusters, high-performance messaging for distributed actors(partisan.cloud)
5 points by cmeiklejohn 7y ago|0 comments
45.
by cmeiklejohn 8y ago
This is mentioned in this article, as the design used in Phoenix came from Riak.
46.
by cmeiklejohn 8y ago
The Wikipedia page, which some of us help to maintain, has a list of industry adopters. https://en.wikipedia.org/wiki/Conflict-free_replicated_data_...
47.
Applied Monotonicity: A Brief History of CRDTs in Riak(christophermeiklejohn.com)
118 points by cmeiklejohn 8y ago|16 comments
48.
AMBROSIA: Performant, exactly-once, failure oblivious distributed programming(christophermeiklejohn.com)
3 points by cmeiklejohn 8y ago|0 comments
49.
Distributed Erlang: From Datacenter to Planetary Scale Applications [video](youtube.com)
120 points by cmeiklejohn 8y ago|2 comments
50.
Guesstimate: A Programming Model for Collaborative Distributed Systems(christophermeiklejohn.com)
3 points by cmeiklejohn 8y ago|0 comments
51.
by cmeiklejohn 9y ago
Agreed, and that's why Distributed Erlang works the way it does. However, it's unfair to criticize CORBA for one of it's design tenets. It was designed for interop, hence the name. Many solutions for transparent distribution
52.
by cmeiklejohn 9y ago
Well, this is basically the story of Distributed Erlang, which does this out of the box transparently.
53.
by cmeiklejohn 9y ago
More like "...we call it the simply typed lambda calculus."
54.
by cmeiklejohn 9y ago
Also, it remains unclear how you expect to support parametric polymorphism if you're assuming JavaScript as a base language for your analysis.
55.
by cmeiklejohn 9y ago
But, if you're assuming EsDoc, you're already inherently tied to JavaScript/TypeScript/etc, no? Part of the point of the paper is assuming non-uniformity between APIs, hence the IDL.
56.
by cmeiklejohn 9y ago
Also, I have to sign up for stdlib? Do I have to pay for it? (Never got that far, and the fact I have to sign up is quite misleading for something called stdlib.)
57.
by cmeiklejohn 9y ago
We're trying to highlight that most of the work you're doing to make sure the interfaces are well defined and match up manually can easily be done by a type checker, as you would have if you wrote this as a single application.
58.
by cmeiklejohn 9y ago
To be clear, it seems you have basic coercions (a la C, or ad-hoc polymorphism) but no general support for subtype polymorphism nor parametric polymorphism.
59.
by cmeiklejohn 9y ago
Interesting. I just went through this a bit and it doesn't appear that the specification allow for polymorphism in the type system. Am I missing something here? If that's true, it doesn't seem to address the issues highlight
60.
by cmeiklejohn 9y ago
The entire point of CORBA was interop, so it's a bit absurd to say it wasn't actually needed, no?

More ›