Roman Gershman romange

## _Concurrent n Distributed.md

      
              7 files
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                romange
                / _Concurrent n Distributed.md
            
            
              Created
              December 10, 2021 20:49
                — forked from danidiaz/_Concurrent n Distributed.md
            
              
                _Concurrent n Distributed systems reading lists
              
          
    Papers

Time clock and the ordering of events in a distributed system
Consensus on Transaction Commit
An empirical study on the correctness of formally verified distributed systems
Byzantizing Paxos by Refinement

  
## gcloud-cheat-sheet.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                romange
                / gcloud-cheat-sheet.md
            
            
              Created
              November 13, 2021 06:56
                — forked from pydevops/gcloud-cheat-sheet.md
            
              
                gcp gcloud cheat sheet
              
          
0.1. References
0.2. Other cheatsheets
0.3. Manage multiple gcloud config configurations

0.3.1. Switch gcloud context with gcloud config


0.4. Credentials
0.5. info
0.6. projects
0.7. zones & regions
0.8. Organization
0.9. billing