魔法手札
发布于 2024-01-03
To what reason, and to what extent, should we extend the border of the software?
I was noticed that one of my friends recently wrote an article di …
发布于 2024-01-03
动手实现托管语言的内存管理器:压缩回收算法分析
本文介绍 Petrank [2006] 论文中的适用于增量并发回收器的垃圾回收算法:”The Compressor”,并且专注于介
发布于 2023-06-29
L’axiome du choix, dans le domaine de la théorie intuitionniste des types
L’axiome du choix, c’est un axiome qui signifie qu’il y a
发布于 2023-02-07
The Entscheidungsproblem is undecidable
Propositional Logic(PL)的有效性(Validity)是可判定的,这意味着存在一个算法,给定任意一个PL中 …