Recent Posts
-
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.