|
You are here |
crdt.tech | ||
| | | | |
www.inkandswitch.com
|
|
| | | | | Collaboration on rich text is hard to model with plain-text approaches. We review the challenges and how to construct a CRDT for rich text. | |
| | | | |
hashingit.com
|
|
| | | | | Throughout my career Ive been reading and collecting papers/articles that I find interesting. Here are some of them: DatePublished Author(s) Title 2020-01 Ze Li, Qian Cheng, Ken Hsieh, Yingnong Dang, Peng Huang, Pankaj Singh, Xinsheng Yang, Qingwei Lin, Youjiang Wu, Sebastien Levy, Murali Chintalapati Gandalf: An Intelligent, End-To-End Analytics Service for Safe Deployment in Cloud-Scale Infrastructure 2019-11 Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, Mark McGranaghan Local-First Software: Y... | |
| | | | |
decomposition.al
|
|
| | | | | Back in May, I gave the opening keynote (my first keynote talk!) at the FLOPS 2022 conference. I talked about the work weve been doing in my group on using Liquid Haskell for verifying the correctness of distributed systems. | |
| | | | |
databases.systems
|
|
| | | Exploring how pairpad was built in Go. | ||