往往有些符号在被创造出来时的表达是比较「中性」的，但在之后经历了一个「充能」的过程，变得更富有情感、更有表现力。

Knowledge Representation, Reasoning and Declarative Problem Solving 中给出了一个使用 Answer Set Prolog 编码规划的方法，以下代码是书中给出的一个编码积木世界规划问题。

人生就是总有一天你会去写自己最讨厌的算法题，但是 unordered_map 确实好使。

当我看到一个东西的时候，我说：「这是一个东西。」东西也表示赞同。

翻译自 @H+ Frequently Asked Questions，原作者威廉·吉利斯（William Gillis）。

Qubes OS 是一个通过隔离（isolation）加强安全的虚拟机集群桌面操作系统。本文将通过复读 Qubes OS 官方文档的方式教你安装这个操作系统并为其部署代理（作为 Tor 的前置代理）。当然，本文不能解决你在安装过程中遇到的大部分问题，如果你遇到了我也没遇到过的问题请参考官网的故障排除指南或在相关社区中进行提问。

一个关于深度学习炼金术的故事。这个故事属于计算机科学小故事系列。

一个告诉你不要玩手机了的故事。这个故事属于计算机科学小故事系列。

一个关于虚拟化和等级的老套路故事。这个故事属于计算机科学小故事系列。

一个小故事，两个线程李 A 和萨 T 遇到了沟通的难题，而这一难题来自两者被分开这件事。这个故事属于计算机科学小故事系列。