最近读了Austin Kleon的Show your work，我读的是英文版，书中的观点和方法很值得借鉴。在这个互联网时代，如果你想扩大自己的影响力，

不知不觉已经跑了一千多公里了。 上半年在云谷园区，每天晚饭前围着北边的小球场跑上几圈。下半年来到了南京，最开始是围着百家湖跑，后来去秦淮河对岸

编程本质上是在对目标系统做抽象，不同的编程范式对目标系统做抽象的视角不同。 对于一个系统，命令式将之描述为一系列系统状态随时间演进的步骤；函数

知识、能力和智慧三者彼此不同，但又相互联系，本文旨在理清三者的概念，从而使自我成长的道路更加明晰。 什么是知识 知识跟具体的事物有关，是关于某些

Type system的基本目标是保证程序中不会出现某些错误，本文先谈什么叫错误，错误都有哪些种类，然后再谈类型系统的一些基础概念。 execution error 需要区分两种

最近读了Austin Kleon的Show your work，我读的是英文版，书中的观点和方法很值得借鉴。如果你想在互联网上分享自己的工作和生活，但没

不知不觉已经跑了一千多公里了。 上半年在云谷园区，每天晚饭前围着北边的小球场跑上几圈。下半年来到了南京，最开始是围着百家湖跑，后来去秦淮河对岸

想清楚为什么学 学习新技能并不是件很容易的事情，知道为什么而学，才会有强大的学习动力。另一方面，弄清楚学习的目的，才能有的放矢，在学习中抓住重

在windows上喜欢用onenote做笔记。onenote的一大特色是可以方便做表格化的笔记，但是在已有的表格内插入表格却略微有些繁琐。 幸

编程本质上是在对目标系统做抽象，不同的编程范式对目标系统做抽象的视角不同。 对于一个系统，命令式将之描述为一系列系统状态随时间演进的步骤；函数

使用git merge最棘手的问题就是会产生合并冲突，即merge conflicts。由于多人协作，冲突的问题大概是不可避免的，因此本文旨在尽

最近复习C++，会写一些简短的程序做实验，每次都要手动添加头文件，手动定义main，太麻烦，于是写了一点vimscript，可以一键自动生成

最近从信阅上借了两本书：《编程珠玑》和《代码大全》，这两本书以前都看过的，只是那时经验尚浅，这次阅读属于温故而知新，这里记录《编程珠玑》中一

知识、能力和智慧三者彼此不同，但又相互联系，本文旨在理清三者的概念，从而使自我成长的道路更加明晰。 什么是知识 知识跟具体的事物有关，是关于某些

Type system的基本目标是保证程序中不会出现某些错误，本文先谈什么叫错误，错误都有哪些种类，然后再谈类型系统的一些基础概念。 execution error 需要区分两种

为什么写博客 书写帮助自己思考 把自己有价值的思考/知识分享给别人 提高表达能力 交志同道合的朋友 通过接受反馈认识和改善自己 以什么原则写 要真诚，不写