adizere

3 ms·

1. 1.▲
   by adizere 7y ago

   https://github.com/interchainio/verification/tree/develop/sp...
2. 2.▲
   by adizere 10y ago

   Hey eternalban, thanks, very interesting comments! It's plain to see that you have a deeper / more theoretical perspective on distsys than I tend to have. Would you describe universal semantics as being "Turing-complete in th
3. 3.▲
   by adizere 10y ago

   Indeed, high performance and integrated systems form a big chunk of the intended "consumer space" of Correctables. But being integrated or high perf. does not mean these systems do not use language-level constructs; what I have in
4. 4.▲
   Introducing Incremental Consistency Guarantees(seredinschi.net)

   29 points by adizere 10y ago|5 comments