Categories

Quantum_Computing

Oct 20, 2023

Gentle Introduction to Quantum Computing

MachineLearning

Oct 28, 2023

Simple Theory of Naive Bayes Classifier

Software-Foundations

Jul 18, 2024

Simply Typed Lambda-Calculus

Jun 22, 2024

Small-Step Operational Semantics

Feb 15, 2024

Hoare Logic - Decorated Program

Feb 2, 2024

Hoare Logic Basic

Jan 25, 2024

Program Equivalence

Jan 17, 2024

FP in Haskell - Practical Concerns

Jan 6, 2024

Simple Imperative Program

Jan 1, 2024

Relation Properties

Dec 22, 2023

Induction Principles

Dec 17, 2023

Proof Objects

Dec 11, 2023

Maps in Functional Programming

Dec 10, 2023

Inductive Propositions

Dec 3, 2023

Propositional Logics in Coq

Nov 26, 2023

Basic Tactics and Underlying Logic

Nov 22, 2023

Polymorphism and Higher-order Function in Coq

Nov 17, 2023

Reasoning Proofs with Basic Data Structures

Nov 16, 2023

Induction, Sub-theorems and Informal Proof [Coq]

Nov 8, 2023

Function Programming and Basic Proofs [Coq]

C++

Dec 26, 2023

Containers

Dec 14, 2023

Smart Pointers

Dec 6, 2023

CPP Functions

Nov 28, 2023

Operator Applications [CPP]

Nov 24, 2023

Templates in CPP

Nov 18, 2023

Runtime Polymorphism in CPP

Nov 15, 2023

Object Life Cycles [CPP]

Nov 10, 2023

Types and References [CPP]

NLP

Jan 19, 2024

Language Models and N-Grams

CourseNote

May 11, 2024

Distributed Transactions

Apr 19, 2024

Transaction Management

Mar 31, 2024

Note of Alloy Analyzer

OS

Feb 22, 2025

WSL -- File System, Networking, Configuration

PL

Jun 18, 2025

An Abstract Interpretor Based on Compositional Semantics