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