我们生活在一个变化迅速的时代。这些变化一般被宣传为蓬勃的，积极的，向上的，比如科技日新月异，经济崛起腾飞，等等诸如此类。但对个体而言，这些变化也是一种挑战。

Org-roam User Manual

水木社区Emacs版

「阿母啊！我終於搞懂 Lexical Scoping 是啥啦～！」 Lexical scoping 與 Dynamic scoping 我以前一直嘗試想要弄懂但卻一直搞不懂，就算一時看懂了也不知這到底在幹麻或能幹麻所以每次看完就忘記（用不到的東西都記不住的啦），但最近因為 Lisp 寫得比較熟悉了，開始狂用 functional programming 的一些技巧後才終於了解其中奧妙，尤其是

🏵️ A curated list of Emacs Lisp development resources

1. 简介 1.1 什么是GTD Get Things Done(GTD)，是一套时间管理方法，面对生活中如下情况： 有很多事情要做 每件事情有主次之分 个人精力有限 我们需要随时很方便的了解我们下一步要做什么，合理的安排我们有限的时间，集中精力完成更重要的事情。 “GTD通过帮助你更好的跟踪和管理

本文最新版已迁移至：http://thinkinside.tk/emacs_orgmode_editor.htmlorg-mode: 最好的文档编辑利器，没有之一尽管按照org-mode 官方 的说法，Org 是一个基于快速高效的文本方式来实现做笔记、管理待办事项（TODO list）以及做项目计划

Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover