Theoretical Foundation of Typechecking algorithm for Equi-Recursive Types

发布于 2022-01-21

Theoretical Foundation of Typechecking Algorithm for Equi-Recursi …

WinUI 3开发过程中DEP1700的解决办法

发布于 2021-12-23

我怀着非常生气的心情写下这篇文章，因为为了解决这个问题我毁掉了自己的生产环境。在 …

发布于 2021-10-25

Recently I’m working on the WinUI 3 version of Pixeval, as I’m im

发布于 2021-08-17

首先贴原始代码: private Guid HashToGuid(object input) { switch (input) …

发布于 2021-07-03

最近写Pixeval的时候部分功能需要抓包，发现现在的Android不好抓了，首要的问题就是Pixiv本身不信任Fiddler …

发布于 2021-05-27

本文中用P_n表示P[1..n]，用P[n]表示P中的第n个字符，用P_i\sqsupset P_q代表P_i是P_q的后缀，用P …

发布于 2021-05-26

Minsky’s Theorem A two-pushdown stack machine, abbr. 2PDA, is a P ̷

发布于 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

发布于 2021-05-23

Language Processors A compiler is a program that read a program i …