News for hackers. Stuff that matters.

A comment on Modeling CRDTs in Alloy – the importance of idempotence.

Re:Modeling CRDTs in Alloy – the importance of idempotence by matlin on Monday October 09, 2023 @11:27AM (#37821440)
For those like me who didn't know what Alloy is, it looks like it's a general purpose constraint solver for testing correctness in range of different algorithms.

https://alloytools.org/

[ Parent | on HN ]
Re:Modeling CRDTs in Alloy – the importance of idempotence by rsrsrs86 on Tuesday October 10, 2023 @11:01AM (#37832971)
It is a modeling language based on relations and constraints. It is very friendly and feels like writing SQL schemas or classes. Given a model and its constraints Alloy can use a SAT solver to find valid instances. This is used to check model properties.

It can be used to model not only algorithms but principally concepts.

I always use Alloy before starting a new design.

[ Parent | on HN ]