/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

crdt.tech
| | www.inkandswitch.com
6.2 parsecs away

Travel
| | 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
2.4 parsecs away

Travel
| | 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
5.1 parsecs away

Travel
| | 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
18.8 parsecs away

Travel
| Exploring how pairpad was built in Go.