sig-transaction icon indicating copy to clipboard operation
sig-transaction copied to clipboard
verified publisher icon tikv

Tracking issue: upcoming talks

Open nrc opened this issue 5 years ago • 0 comments

  • Early August: @nrc on transactional guarantees
  • August/September: @andylokandy on TLA+

More ideas and/or volunteers are welcome!

nrc avatar Jul 07 '20 01:07 nrc