Recent Posts
- 
        
          Induction, Sub-theorems and Informal Proof [Coq]Study Notes of software validation
- 
        
          Object Life Cycles [CPP]Principals of objects life cycle; good practice: exceptions, RAII, copy and move operations
- 
        
          Types and References [CPP]Data Type, Pointers, Addresses and Object initialization
- 
        
          Function Programming and Basic Proofs [Coq]Study Notes on what is software validation, proofers and basic programming
- 
        
          Simple Theory of Naive Bayes ClassifierThe math foundation
- 
        
          Gentle Introduction to Quantum ComputingA highly overview of quantum computing without math.