遥远的街市

程序设计

2024-04-28简单实现 C++ 字符串格式化
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逆波兰式与卡塔兰数

随感

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

幻

文档演示

安全隐私

2016-01-10Gmail 的地址别名
2015-10-10我的密码管理方案（或：Poor man's Password Manager）
2015-09-24科学上网之 Psiphon3
2015-09-16为什么 https 是如此重要