Posts

• May 18, 2019

  Transition from a user to a maker

• May 16, 2019

  Three levels of mathematical proofs

• May 5, 2019

  关于个人博客的构建

• Apr 30, 2019

  自我提示

• Apr 30, 2019

  移除僵尸任务

• Apr 30, 2019

  以Emacs Org mode为核心的任务管理方案

• Apr 30, 2019

  专注度与兴奋度的阈值

• Apr 24, 2019

  从未对学术感到幻灭

• Mar 15, 2019

  James Munkres《拓扑学》笔记前言

• Mar 12, 2019

  面对难题如何做计划