MAmacintux·Apr 18, 2021
I honestly don't recall; I was more a kibitzer in that realm.
Chris Meiklejohn with the Lasp project would be a good person to reach out to.
https://github.com/lasp-lang/lasp
In Internal Consistency in Streaming Systemslasp-lang
lasp
Erlang2016–2021
lasp-lang / lasp · Archived
lasp
Prototype implementation of Lasp in Erlang.
2Distinct people
3Mentions
0Explicit recommenders
892GitHub stars
What to know before exploring
What it is
Prototype implementation of Lasp in Erlang.
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:56:07 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year3 dated mentions
Observed mentions: 2016-07-17 17:40:47 UTC to 2021-04-18 19:54:04 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2016 | 2016-01-01 00:00:00 UTC | 2017-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2017 | 2017-01-01 00:00:00 UTC | 2018-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2018 | 2018-01-01 00:00:00 UTC | 2019-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2019 | 2019-01-01 00:00:00 UTC | 2020-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 1 | 0 | 1 |
What Hacker News says
3 sourcesI was fortunate enough to work at Basho, where CRDTs were part of nearly every technical discussion about how to progress Riak.
One of my former co-workers, Chris Meiklejohn, continues to push forward with CRDTs via Lasp[0]. He has a good list of reading materials[1] that it doesn't look like he's maintained recently but should still be useful.
Guess I'll plug my meta-list of distributed systems reading lists[3] (definitely currently unmaintained) while I'm here.
[0]: https://github.com/lasp-lang/lasp
[1]: http://christophermeiklejohn.com/distributed/systems/2013/07...
[2]: https://gist.github.com/macintux/6227368
In Schism: A library of CRDT implementations of Clojure’s core data typesIt's always good to hear about IOT companies using CRDTs because it seems like the perfect
fit for it, yet you don't hear very much about it. Also interesting hearing you mention you
were using plumtree for your replication backend.
To elaborate more on your point, CRDTs are super helpful while trying to distribute a lot of devices,
but they only get you so far. While building Lasp[0][1], a distributed data-flow language using CRDTs,
we found out a lot of scalability problems with naive usage of CRDTs. We are aiming to reach 10k-20k nodes
in the near future, so we are focusing a lot on reducing network usage.
State-based CRDTs send their full state to all their peers, which works ok when your states are small, but
they introduce lots of overhead in any other case. Operation-based CRDTs only send the actions performed
on it (add 1, or rmv
Read the rest
2, for example), but these are not idempotent and require a lot of guarantees from
the underlying distribution backend.
We are focusing on using Delta CRDTs, that combine the low network usage of operation-based structures,
with the idempotence of state-based approaches.
Using plumtree for your backend makes it resilient to network failures, but using the default full
membership protocol makes it almost unusable when you're dealing with a big number of nodes. Using
alternative protocols like Hyparview greatly reduces the number of protocol messages in your network.
Finally, since Lasp is a data-flow language, we are applying control-flow analysis to select and remove
unused or intermediate values in the program, thus also reducing network usage.
[0]: http://lasp-lang.org/
[1]: https://github.com/lasp-lang/lasp