computer-science

本文探讨了无点逻辑编程，这是一个与函数式编程范式相关的概念。

Researchers from Tsinghua University have developed a new shortest-path algorithm with O(m log^{2/3} n) complexity, surpassing Dijkstra's algorithm which had been considered theoretically optimal for 41 years.

本文解释了 ASCII 表的设计，特别是为什么大写和小写字母之间存在间隔，并说明了这种结构如何通过位运算实现高效的字母大小写转换。

一篇文章探讨了七种构成大多数现代编程语言基础的编程语言原型（原语言），认为学习植根于这些原型的基础知识比选择特定语言更重要。