[[logs]]
Home
About
Posts
🍞
Tags
category theory
2
computer science
5
CRDTs
1
datalog
1
denotational semantics
1
distributed systems
1
Erlang
1
Eventual consistency
1
fixpoint
1
functional programming
1
MapReduce
1
maths
3
Mnesia
1
programming language
1