始终

TeX 引擎、格式、发行版之介绍

发表于 2018 年 11 月 26 日更新于 2020 年 03 月 02 日分类于 LaTeX
本文字数： 2.6k 阅读时长 ≈ 5 分钟

近日被邀请在知乎上回答问题。鉴于这个问题已经被答烂了，所以将其存档在博客，以供后享。

发表于 2018 年 11 月 23 日更新于 2020 年 03 月 02 日分类于 Algorithm and Computer Science
本文字数： 4.9k 阅读时长 ≈ 9 分钟

二分搜索是一个效率很高的算法。一个良好实现的二分搜索算法，其时间复杂度可以达到 $\Theta(\log n)$，而空间复杂度只有 $O(1)$。特别地，二分搜索算法的描述十分简洁。作为程序员，总是喜欢 clean and powerful 的东西。因此，二分搜索无疑对程序员有巨大的吸引力。

按照 Knuth 的说法，「尽管第一个二分搜索算法早在1946年就被发表，但第一个没有bug的二分搜索算法却是在12年后才被发表出来」。

此篇我们讨论二分搜索算法的原理及其各种变体的实现。

发表于 2018 年 11 月 23 日更新于 2020 年 03 月 02 日分类于 Computer Skills
本文字数： 380 阅读时长 ≈ 1 分钟

继续配置电脑的旅程。

此篇推荐两个小工具。它们的大小都不足 1MiB，但是都非常好用。一个是 GIF 录屏工具，一个是 GIF 查看器。

发表于 2018 年 11 月 22 日更新于 2020 年 03 月 02 日分类于 Computer Skills
本文字数： 1.1k 阅读时长 ≈ 2 分钟

前作提到了如何在 Windows 7 上更换锁屏界面的背景图片。这就给我创造了一个新的需求——如何为锁屏界面截图？

此篇以此为例，讲讲如何在锁屏界面上执行命令/程序。

发表于 2018 年 11 月 21 日更新于 2020 年 03 月 02 日分类于 Computer Skills
本文字数： 496 阅读时长 ≈ 1 分钟

Windows 7 在登录时默认的背景图片是一片蓝色。作为一个程序员，我会倾向于认为，这片蓝色是一张图片资源。因此，它是可以被更换的。

这篇介绍如何更换 Windows 7 锁屏界面的背景。