Hacker News: anne_biene

New comment by anne_biene in "Elixir's “Set Theoretical Type System” prototype/demo/showcase"

anne_biene — Fri, 16 Jun 2023 14:29:05 +0000

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://arxiv.org/pdf/2302.12783.pdf

New comment by anne_biene in "CRDTs are the future"

anne_biene — Mon, 28 Sep 2020 22:05:48 +0000

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://crdt.tech/ (Disclaimer: I am involved, though Martin did the bulk load of the work.)

If you are into CRDTs for collaborative gaming, we are looking for partners and investors: https://concordant.io (Disclaimer: I am technical advisor in its team.)

New comment by anne_biene in "Ask HN: What projects are you working on now?"

anne_biene — Sat, 21 Mar 2020 22:32:05 +0000

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://wirvsvirushackathon.org/?lang=en

Make an impact and give back!

New comment by anne_biene in "Antidote: CRDT-based distributed database"

anne_biene — Thu, 07 Dec 2017 21:55:37 +0000

[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 these CRDTs you don't need a global sync.

New comment by anne_biene in "Antidote: CRDT-based distributed database"

anne_biene — Wed, 06 Dec 2017 20:27:32 +0000

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?

New comment by anne_biene in "Antidote: CRDT-based distributed database"

anne_biene — Wed, 06 Dec 2017 20:21:07 +0000

(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, indeed.

New comment by anne_biene in "Antidote: CRDT-based distributed database"

anne_biene — Wed, 06 Dec 2017 20:15:43 +0000

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.