Archive

52 posts in total

2021

11-25

十分钟搞懂 Hindley-Milner 类型系统

09-20

高中数学题与全称量词的引入/消除规则

09-14

c++模板与参数多态的根本区别

08-29

Frege/Hilbert系统与组合子逻辑

02-26

从实用的角度看Monad（一）

01-22

谈谈扩展欧几里得算法

01-03

费马小定理的（部分）直观解释

2020

12-26

帕斯卡的恩惠

12-21

栈式RAII不能取代GC：谈GMP的C++绑定

12-08

看点什么（三）寒蝉鸣泣之时