生活修行准则 精进，以持戒为首要；疾病，以减食为汤药； 烦恼，以忍辱为妙解；是非，以不辩为解脱； 待人，以诚实为真情；执事，以尽心为有功； 语言，以

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

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

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

最近刚换了新电脑。趁此辞旧迎新之际，我做了一次数字大扫除。 笔记。之前的笔记散落各处：onenote，有道云，语雀，obsidian，org-