从虚方法出发，谈谈编译器的优化策略
发布于 2023-01-01
今天是2023年1月1日元旦！祝看到这篇文章的所有人新年快乐！ 我们都知道，在大部分OOP语言里，一个类中的方法可以被另一个类重写 …
Theoretical Foundation of Typechecking algorithm for Equi-Recursive Types
发布于 2022-01-21
Theoretical Foundation of Typechecking Algorithm for Equi-Recursi …
Exploration in C# TPL: A reenterable Awaiter
发布于 2021-10-25
Recently I’m working on the WinUI 3 version of Pixeval, as I’m im
使用Fiddler对应用了Certificate Pinning的Android应用进行抓包
发布于 2021-07-03
最近写Pixeval的时候部分功能需要抓包，发现现在的Android不好抓了，首要的问题就是Pixiv本身不信任Fiddler …
对KMP算法中前缀函数的分析以及正确性证明
发布于 2021-05-27
本文中用P_n表示P[1..n]，用P[n]表示P中的第n个字符，用P_i\sqsupset P_q代表P_i是P_q的后缀，用P …
计算理论导引笔记整理 第三部分 第二十一章 Minsky定理
发布于 2021-05-26
Minsky’s Theorem A two-pushdown stack machine, abbr. 2PDA, is a P ̷
Compiler notes: Syntax-Directed Translation
发布于 2021-05-25
Three-address code The compilers do not treat the part of the pro …
计算理论导引笔记整理 第三部分 第二十章 波斯特机
发布于 2021-05-23
Post Machines A particular “universal computing machine” is int
