Skip to content

Instantly share code, notes, and snippets.

View tamarinvs19's full-sized avatar

Vyacheslav Tamarin tamarinvs19

15 followers · 5 following
  • St Petersburg University
  • Saint-Peterburg
View GitHub Profile
@tamarinvs19
tamarinvs19 / hload_question.md
Created January 23, 2023 05:32

Redis. Транзакции. Персистентность. Серверное программирование.

Pipelines

Pipelines - механизм для более быстрого выполнения команд. Сначала команды группируются в один командный блок, который отправляется на сервер для выполнения. Далее результаты всех команд аналогично в блоке отправляются обратно.

Такой механизм позволяет сэкономить время, затрачиваемое на операции. Мы открываем только одно соединение вместо N, всего одна запись данных через системные вызовы.




  


  




    


          
    

      

        
        

          

              @tamarinvs19
          

          

            
                tamarinvs19
                / gc-notes.md
            
            

              Created
              November 13, 2022 12:15
                — forked from Manishearth/gc-notes.md
            

              
                RUST + GC NOTES
              
          

        

      

        

  

      

    
Rust GC Design


Table of Contents


TODO


GC History


The role of garbage collection (GC) in Rust has been heavily revised
during the language's design. It was originally deeply integrated into



  


  




    


          
    

      

        
        

          

              @tamarinvs19
          

          

            
                tamarinvs19
                / xpath-cheatsheet.js
            
            

              Created
              March 12, 2022 11:19
                — forked from LeCoupa/xpath-cheatsheet.js
            

              
                XPath Cheatsheet --> https://github.com/LeCoupa/awesome-cheatsheets
              
          

        

      

        

  

    
    


        



  


  

        

          
          // XPath CheatSheet
        

        

          
          // To test XPath in your Chrome Debugger: $x('/html/body')
        

        

          
          // http://www.jittuu.com/2012/2/14/Testing-XPath-In-Chrome/
        

        

          
          

        

        

          
          

        

        

          
          // 0. XPath Examples.
        

        

          
          // More: http://xpath.alephzarro.com/content/cheatsheet.html
        

        

          
          

        

        

          
          

        

        

          
          '//hr[@class="edge" and position()=1]'                // every first hr of 'edge' class
        

  





    


  




    


          
    

      

        
        

          

              @tamarinvs19
          

          

            
                tamarinvs19
                / Task2Tests.hs
            
            

              Last active
              April 11, 2021 06:46
            

          

        

      

        

  

    
    


        



  


  

        

          
          equivCNF :: CNF -> CNF -> Bool
        

        

          
          equivCNF cnf1 cnf2 = equiv (toPropFormula cnf1) (toPropFormula cnf2)
        

        

          
          

        

        

          
          -- Тесты промежуточных функций CNF
        

        

          
          testAccessoryFunctions :: Spec
        

        

          
          testAccessoryFunctions = describe "testing accessory functions:" $ do 
        

        

          
            it "test toPropLit Pos" $
        

        

          
              (toPropLit (Atom "p")) == (Just $ Pos "p")
        

        

          
            it "test toPropLit Neg" $
        

        

          
              (toPropLit (Not $ Atom "p")) == (Just $ Neg "p")