note 47
- macOS 上为 Codex 桌面端设置代理
- 软件工程形式化入门（历史篇）：从“什么是计算”到“如何相信程序”
- 软件工程形式化入门（六）：AI 写完代码，谁来验收？大模型与形式化方法的边界
- 软件工程形式化入门（五）：准确、快速，还是可靠？静态分析的工程取舍
- 软件工程形式化入门（四）：分析器为什么会停下来？从 Transfer Function 到不动点
- 软件工程形式化入门（三）：不用记住每个值——从具体状态走向抽象解释
- 软件工程形式化入门（二）：程序会走到哪里？从代码、CFG 到程序语义
- 软件工程形式化入门（一）：别怕公式——从集合、映射读懂程序状态
- 软件工程形式化入门系列
- VMware Fusion Ubuntu 虚拟机通过 Mac VPN 访问外网教程
- Denotational Semantics of Typed Lambda Calculus V — CPO Model for Imperative Programs
- Denotational Semantics of Typed Lambda Calculus IV — CPO Model for PCF
- Denotational Semantics of Typed Lambda Calculus III — Full Continuous Hierarchy
- Denotational Semantics of Typed Lambda Calculus II — Partial Orders and Continuous Functions
- Denotational Semantics of Typed Lambda Calculus I — Henkin Models
- 类型化 Lambda 演算的指称语义：五篇文章的进阶路线
- Easy Foundations for Programming Languages X — Imperative Programs
- Easy Foundations for Programming Languages IX — Universal Algebra and Algebraic Data Types
- Easy Foundations for Programming Languages VIII — Proof Systems
- PLDI 2023 Distinguished Papers Comments
- Easy Foundations for Programming Languages VII — Simply-Typed Lambda Calculus
- Easy Foundations for Programming Languages VI — PCF Extensions (Unit, Sum, Recursive Types)
- Easy Foundations for Programming Languages V — PCF Iteration and Recursion
- Easy Foundations for Programming Languages IV — PCF Semantics
- Randomized Algorithm XII — Prediction with Expert Advice
- Randomized Algorithm XI — 2-SAT & Markov Chain
- Easy Foundations for Programming Languages III — The Language PCF & Its Syntax
- Randomized Algorithm X — DNF & Monte Carlo Method
- Randomized Algorithm IX — Hashing
- Randomized Algorithm VIII — Balls into Bins
- Easy Foundations for Programming Languages II — Notation and Mathematical Conventions
- Easy Foundations for Programming Languages I — Introduction
- Randomized Algorithm VII — Fingerprinting
- Randomized Algorithm VI — Bipartite Perfect Matching & Parallel Algorithm
- Randomized Algorithm V — Polynomial Identity Testing
- Programming Language Pragmatics
- 程序语言基础：从语法、语义到命令式程序的阅读地图
- Randomized Algorithm IV— Integer Programming
- Randomized Algorithm III— Concentration Inequalities
- Randomized Algorithm II — Global Min Cut & Median
- Randomized Algorithm I — Introduction
- 随机算法：从概率直觉到经典方法的阅读地图
- GO Concurrent Programming Practice — Raft
- Academic Writing III — Revising
- Academic Writing II — Error-prone Style Details
- Academic Writing I — Thinking about the Research
- 科研写作：从研究问题到论文修改的三步路线