Viewing profile — anne_biene

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 comp…

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 …

Germany is running the biggest hackathon ever to fight corona. Challenges span everything, from tracking, organising material, designing tools for home office, mental health, reach…

[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…

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 c…

(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 c…

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.