Archive

48 posts in total

2021

02-26

从实用的角度看Monad（一）

01-22

形式化递归循环变换的局限性--以扩展欧几里得算法为例

01-03

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

2020

12-26

帕斯卡的恩惠

12-21

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

12-08

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

12-02

再谈丘奇数

11-10

原生程序的错误与调试

10-13

谈谈scheme的高级特性

10-03

mathematica入坑指南