/explore
|
You are here 
|
blog.acolyer.org | ||
| | | | |
horicky.blogspot.com
Over the last couple years, we see an emerging data storage mechanism for storing large scale of data. These storage solution differs quite... |
|
| | | | | ||
| | | | |
kilthub.cmu.edu
Programmer Experience When Using CRDTs to Build Collaborative Webapps: Initial Insights |
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
moscardino.net
A look at React Native and Ionic Framework. |
|
| | | |||
