遥远的街市
程序设计
- 2023-12-26状态机与函数式编程（二）
- 2023-12-22状态机与函数式编程
- 2023-08-13谈谈我最近的编程语言选择
- 2023-03-26对 cursor.so 的两个简单测试
- 2022-07-03C++ 中如何多线程写日志
- 2021-04-05C++ 中的 Continuation-Passing Style
- 2020-05-30盘点我用过的编程语言
- 2019-11-18谈 VSCode
- 2018-02-06RxJS 应用之流式读取文件
- 2014-12-16archer-rpc: 一个基于 Scala 宏的异步 RPC 服务器
- 2014-08-25Scala bug：宏无法获取注解
- 2014-08-09一个 Scala 的凑 24 程序
- 2014-07-27在物理开关上枚举 2^n 如何使步骤最少
- 2014-07-24一个 Prolog 的“24点” solver
- 2014-06-12程序的信息量以及反向运行
- 2014-05-26何时使用中文标识符
- 2013-11-22神奇的自产生程序，兼谈人工生命
- 2013-04-02理解 lua 的 for 中的闭包，及其与 js 的闭包的比较
- 2011-07-02Simple Lua Template
- 2011-02-18一个 Lua 的凑24程序
- 2010-12-02逆波兰式与卡塔兰数
随感
- 2023-08-17筛选、编辑与网络社区
- 2023-05-03我的金融投资书单
- 2021-03-13谈网络交流
- 2020-08-06用户界面设计的原则
- 2020-04-10谈经典
- 2020-03-17从“邮箱才是终极的...”聊到开放互联网以及更好的内容生态
- 2020-03-10《与神对话》读后漫谈——我的 2019 年人生感悟
- 2015-04-14上帝转移理论
- 2013-12-21Coursera
- 2013-12-09有限游戏与合法性
- 2013-08-05《有限与无限的游戏》读后漫谈
- 2013-08-03片段3
- 2013-03-20反思
- 2013-02-19弗洛姆《健全的社会》
ACG
- 2023-05-02谈 xxxholic
- 2022-05-04南条爱乃从 fripSide 毕业，做了一份个人向南条时期 fripSide 歌单
- 2021-02-18我的 ACG 人声精选歌单
- 2012-05-29寻找生命的意义——《未来日记》读后感
- 2009-05-31[转载] CLAMP 访谈：《X》的主题、人物的内心世界
日常使用
- 2022-12-25内存盘简介
- 2020-01-02Windows 命令行基础
- 2019-11-21使用云存储当网盘：个人存储的新选择
- 2018-02-26Windows 软件推荐列表
- 2015-09-29如何模拟 Google Reader 的搜索（或：构建适于自己的个性化搜索）
- 2015-09-21我创建的 Yahoo Pipes
- 2014-06-20一些我使用和开发的油猴脚本
软件作品
- 2022-09-18网络文章存档工具 get-article 发布
Linux
- 2022-04-23Linux 办公开 QQ 的另一种解决方案
- 2019-07-26一种自动为应用分配端口号的方法（及系统）
- 2018-03-02Vim 与终端同时显示
- 2014-05-24dmenu 的正确用法
- 2014-01-09如何学习 Linux
- 2013-11-20从 bash_history 得到 alias 建议
- 2012-03-31为 bash 转义文件名
幻
- 2022-04-16有时我甚至已经开始睡着
- 2021-03-04黑洞 / 无人的城市
- 2013-06-27天边的小屋
- 2013-03-28塔 | The Tower
文档演示
- 2019-09-21MathJax: 在网页上显示 LaTeX 数学公式
- 2014-06-18用 HTML 做 presentation
- 2013-11-19HTML presentation 如何 annotate
- 2011-06-04Pic 语言：画示意图的又一利器
安全隐私
- 2016-01-10Gmail 的地址别名
- 2015-10-10我的密码管理方案（或：Poor man's Password Manager）
- 2015-09-24科学上网之 Psiphon3
- 2015-09-16为什么 https 是如此重要