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

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

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

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

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

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

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

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

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

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

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