Projects
实践，是检验理论的唯一标准。Practice is the sole criterion for testing truth.
Miremo 米墨笔记 ｜ AI Notetaking Tool
轻松记录，AI 整理，知识图谱索引，高效管理知识。Easy notetaking, AI organization, knowledge graph indexing, efficient knowledge management.
Learn more →
阿森知识库 ｜ My Bidirectional Knowledge Base
使用 Obsidian 双链笔记知识库，涵盖计算机科学、数学、机器学习、软件工程、文史哲的个人笔记。Using Obsidian for bidirectional linked notes, covering personal notes in computer science, mathematics, machine learning, software engineering, and humanities.
Learn more →