anne_biene

4 ms·

1.
by anne_biene 3y ago
There is interest from the Erlang community. Etylizer is a set-theoretic type checker developed for Erlang. We have different objectives, though, as we try to remain backwards compatible with the existing type specs. https://arxi
2.
by anne_biene 6y ago
It is wonderful to see so much enthusiasm about this technology. I have been working on CRDTs since 2012 and it has been quite a ride. For those looking for more information, have a look at the information collected at http://crd
3.
by anne_biene 7y ago
Germany is running the biggest hackathon ever to fight corona. Challenges span everything, from tracking, organising material, designing tools for home office, mental health, reaching out to elderly, kids, parents, teachers ... https:&#x2F
4.
by anne_biene 9y ago
[Disclaimer: I am an Antidote maintainer] Some CRDTs support garbage collection directly - if you run them in a causally consistent environment. Antidote is causally consistent and has a Set and Map implementation that work like this; for t
5.
by anne_biene 9y ago
This is what we actually do. I checked a couple of weeks ago with Heinz, but there wasn't a version available (but maybe I misunderstood him...). Can you point me to an Erlang 20 compatible version?
6.
by anne_biene 9y ago
(one of the maintainers of Antidote) There is a lot of research still going on in the back, including indexing, access control, verification tools for apps, and some other really cool stuff. Efficient support for queries is non-trivial, ind
7.
by anne_biene 9y ago
We tried a couple of weeks back, but then most dependencies have not been upgraded yet. The problem is that, to my knowledge, there is no riak_core for Erlang 20.