Recent Posts
- 
        
          Language Models and N-GramsWhat is a language models (LMs), and the very basic example of LMs -- the n-grams
- 
        
          FP in Haskell - Practical ConcernsPartial Functions, Folds and as-pattern
- 
        
          Simple Imperative ProgramDefine, evaluate, reasoning about a toy imperative program.
- 
        
          Relation PropertiesPlay with math ideas in Coq.
- 
        
          ContainersAbstract Interface and Data Structure
- 
        
          Induction Principlesthe underlying mechanism of the tactic `induction`.