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 →
JSON Sampler | JSON 简短示例生成工具
写技术文档时，是否因为 JSON 列表过长而困扰？JSON Sampler 可对 JSON 中的列表采样，生成一个简短的 JSON 示例。When writing technical documentation, do you struggle with long JSON lists? JSON Sampler can sample lists in JSON to generate a concise JSON example.
Learn more →