Skip to content

Brian Hicks personal blog

Modeling CRDTs in Alloy – the importance of idempotence

bytes.zone 9 min read

Checking my assumptions about syncable data structures

Read on bytes.zone → Discuss on HN (8) Archived copy

Points: 114
HN comments: 8
Submissions: 1
Cited by: 0 commenters

Software Engineering Databases & Data 2023

On Hacker News

Submitted	Title on HN	Points	Comments
Oct 9, 2023	Modeling CRDTs in Alloy – the importance of idempotence by brianhicks	114	8

More from Brian Hicks

All 5 posts →

Should we design for iffy internet?

2025197 points234 comments Web & Frontend details

What is the randomart image for?

2023158 points44 comments Security & Privacy details

Digital Gardening in Obsidian

2022140 points51 comments Tools & Productivity details

Modeling Git Internals in Alloy, Part 2: Commits and Tags

2023126 points17 comments Software Engineering details

Related posts from the same era

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Building a Virtual Machine Inside ChatGPT

Jonas Degrave20222,029 points908 commentscited by 16 details

Anyone can access deleted and private repository data on GitHub

Truffle Security Blog20241,983 points374 commentscited by 8 details

ChatGPT Plugins

OpenAI Blog20231,875 points1,106 commentscited by 14 details

Cognitive load is what matters

minds.md20241,769 points721 comments details

Everything that uses configuration files should report where they're located

Chris Siebenmann20231,744 points472 comments details