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