Posts

• Wed, May 22, W20, 2019

  读《Writing proofs》笔记与感想

• Sat, May 18, W19, 2019

  Transition from a user to a maker

• Thu, May 16, W19, 2019

  Three levels of mathematical proofs

• Sun, May 5, W17, 2019

  关于个人博客的构建

• Tue, Apr 30, W17, 2019

  自我提示

• Tue, Apr 30, W17, 2019

  移除僵尸任务

• Tue, Apr 30, W17, 2019

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

• Tue, Apr 30, W17, 2019

  专注度与兴奋度的阈值

• Wed, Apr 24, W16, 2019

  从未对学术感到幻灭

• Fri, Mar 15, W10, 2019

  James Munkres《拓扑学》笔记前言