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.