Archives
- 21 Aug 软件工程形式化入门（历史篇）：从“什么是计算”到“如何相信程序”
- 20 Aug 软件工程形式化入门（六）：AI 写完代码，谁来验收？大模型与形式化方法的边界
- 19 Aug 软件工程形式化入门（五）：准确、快速，还是可靠？静态分析的工程取舍
- 18 Aug 软件工程形式化入门（四）：分析器为什么会停下来？从 Transfer Function 到不动点
- 17 Aug 软件工程形式化入门（三）：不用记住每个值——从具体状态走向抽象解释
- 16 Aug 软件工程形式化入门（二）：程序会走到哪里？从代码、CFG 到程序语义
- 15 Aug 软件工程形式化入门（一）：别怕公式——从集合、映射读懂程序状态
- 14 Aug 软件工程形式化入门系列
- 08 Jul VMware Fusion Ubuntu 虚拟机通过 Mac VPN 访问外网教程
- 23 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
- 10 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
- 04 Jul 类型化 Lambda 演算的指称语义：五篇文章的进阶路线
- 30 Jun Easy Foundations for Programming Languages X — Imperative Programs
- 29 Jun Easy Foundations for Programming Languages IX — Universal Algebra and Algebraic Data Types
- 27 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
- 15 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
- 09 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
- 27 May Randomized Algorithm IX — Hashing
- 25 May Randomized Algorithm VIII — Balls into Bins
- 21 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
- 18 May Randomized Algorithm V — Polynomial Identity Testing
- 17 May Programming Language Pragmatics
- 15 May 程序语言基础：从语法、语义到命令式程序的阅读地图
- 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
- 09 May 随机算法：从概率直觉到经典方法的阅读地图
- 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
- 06 May 科研写作：从研究问题到论文修改的三步路线
- 21 Feb The Difference in Common Usage between JavaScript and Python
- 06 Apr Selenium Source Code Analysis
- 02 Apr 从源码理解 Selenium
- 13 Mar VScode 常用快捷键
- 19 Nov Deepin 开发环境配置
- 19 Nov Linux 设置双屏幕
- 17 Nov Linux 无线网络断开的解决方案
- 02 Nov Linux 搜狗词库教程
- 01 Nov Deepin 初上手攻略