Explore >> Select a destination
|
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. | |
| | | | |
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. | |
| | | | |
www.math.tau.ac.il
|
|
| | | | | [AI summary] Mooly Sagiv is a leading researcher in software verification, static analysis, and formal methods. His work focuses on verifying the correctness of complex systems, including distributed protocols, smart contracts, and concurrent programs. Sagiv has made significant contributions to the field of program analysis, particularly in the areas of modular reasoning, shape analysis, and symbolic execution. He has published extensively in top conferences and journals, including PLDI, POPL, and CAV. Sagiv is also known for his work on deductive verification and the development of tools that support formal verification of software systems. He has received numerous awards for his research, including the Best Paper Award at PLDI 2011 and the Best Paper Awar... | |
| | | | |
supabase.com
|
|
| | | Embedding Yjs and Automerge into Postgres for collaborative applications. | ||
