2024
- 22 Jul Denotational Semantics of Typed Lambda Calculus V — CPO Model for Imperative Programs
- 11 Jul Denotational Semantics of Typed Lambda Calculus IV — CPO Model for PCF
- 09 Jul Denotational Semantics of Typed Lambda Calculus III — Full Continuous Hierarchy
- 08 Jul Denotational Semantics of Typed Lambda Calculus II — Partial Orders and Continuous Functions
- 05 Jul Denotational Semantics of Typed Lambda Calculus I — Henkin Models
- 29 Jun Easy Foundations for Programming Languages X — Imperative Programs
- 28 Jun Easy Foundations for Programming Languages IX — Universal Algebra and Algebraic Data Types
- 26 Jun Easy Foundations for Programming Languages VIII — Proof Systems
- 24 Jun PLDI 2023 Distinguished Papers Comments
- 15 Jun Easy Foundations for Programming Languages VII — Simply-Typed Lambda Calculus
- 14 Jun Easy Foundations for Programming Languages VI — PCF Extensions (Unit, Sum, Recursive Types)
- 11 Jun Easy Foundations for Programming Languages V — PCF Iteration and Recursion
- 08 Jun Easy Foundations for Programming Languages IV — PCF Semantics
- 05 Jun Randomized Algorithm XII — Prediction with Expert Advice
- 30 May Randomized Algorithm XI — 2-SAT & Markov Chain
- 29 May Easy Foundations for Programming Languages III — The Language PCF & Its Syntax
- 27 May Randomized Algorithm X — DNF & Monte Carlo Method
- 26 May Randomized Algorithm IX — Hashing
- 25 May Randomized Algorithm VIII — Balls into Bins
- 20 May Easy Foundations for Programming Languages II — Notation and Mathematical Conventions
- 19 May Easy Foundations for Programming Languages I — Introduction
- 18 May Randomized Algorithm VII — Fingerprinting
- 18 May Randomized Algorithm VI — Bipartite Perfect Matching & Parallel Algorithm
- 17 May Randomized Algorithm V — Polynomial Identity Testing
- 16 May Programming Language Pragmatics
- 14 May Randomized Algorithm IV— Integer Programming
- 13 May Randomized Algorithm III— Concentration Inequalities
- 12 May Randomized Algorithm II — Global Min Cut & Median
- 10 May Randomized Algorithm I — Introduction
2023
- 18 Jul First Proud Work of Mine – ASE Acceptance
- 11 May GO Concurrent Programming Practice — Raft
- 11 May Academic Writing III — Revising
- 08 May Academic Writing II — Error-prone Style Details
- 07 May Academic Writing I — Thinking about the Research
- 20 Feb The Difference in Common Usage between JavaScript and Python
2022
- 05 Apr Selenium Source Code Analysis
- 01 Apr 从源码理解 Selenium
2021
- 12 Mar VScode 常用快捷键
2020
- 19 Nov Deepin 开发环境配置
- 18 Nov Linux 设置双屏幕
- 16 Nov Linux 无线网络断开的解决方案
- 01 Nov Linux 搜狗词库教程
- 01 Nov Deepin 初上手攻略