提案是以做决策为目的的，以书面叙述的形式呈现，应当尽量简短、观点鲜明、考虑周详、论证合理、详略得当。提案的发起人常常也是提案的作者，其读者往往是能做决策的利益相关方，最终决策人要么是提案发起人，要么是项目投资人，也即利益方中其他最终承担风险的人。 提案必然是被拿来讨论的，讨论后一定要做出决策，以确定 … 继续阅读如何作提案
有关工具的思考
2023-03-03 做工具的主人要有积极的态度与恰当的方法。方法恰当却态度不积极，是工具的敌人。方法不恰当态度积极，是工具的学徒。方法不恰当还态度不积极，是工具的奴隶。傲慢使人成为工具的敌人，懒惰使人成为工具的奴隶。人极容易沦为工具的奴隶。实际上，持有积极的态度已经是在运用恰当的方法。 2023- … 继续阅读有关工具的思考
架构概述
原文链接：https://source.android.google.cn/docs/core/architecture The Android Open System Platform (AOSP) is publicly available and modifiable Android sour … 继续阅读架构概述
博客标志故事
Jeremy’s World翻译成中文是吉里米的世界，取自《苏菲的世界》，博客搭建那段时间我刚好在读这本小书，格外喜欢，便用作了站点的标题。 Jeremy是新东方一位外教送我的名字，与我的中文名字佳明发音相近。World在Merriam-Webster中名词共14义，取其第6义“the … 继续阅读博客标志故事
博客维护大纲
从2014年12月搭建博客以来，对站点做过三次大的维护，分别是2016年7月、2020年6月、2023年1月，具体维护的内容记录在了维护日志中，而这篇是为了规范化维护的各个方面，用以节省维护的时间成本，同时也给其他的博客人做个参考。 托管服务 站点的数据库、网页服务器、域名、数字证书都需要托管服务， … 继续阅读博客维护大纲
博客维护日志
2023年1月 2020年6月 万网关停X享主机-X3，切换到独享虚拟主机基础版。 2018年1月 显示文章浏览次数。 2016年7月 2014年12月
关于分科思维的一些想法
学位学科目录2011版中分了十三个学科门类，依次是哲学、经济学、法学、教育学、文学、历史学、理学、工学、农学、医学、军事学、管理学和艺术学。一般情况下，一个人全脱产学习四年能取得一个学位。获得学士学位意味着在这个学科门类中粗略浏览了一些内容，至于有没有被领进门，还待将来实践的检验。所谓的被领进门，意 … 继续阅读关于分科思维的一些想法
购置个人台式机小记
购置因由 年初作计划时，重新对深入理解安卓系统发生了兴趣。四年前，曾尝试在Windows的虚拟机上编译，失败告终。如今不只是工作中需要相关知识，更是带着一种惊叹与好奇，想要更多地接近时代所造就的一些逻辑上的庞然大物中所潜藏的智能，以安抚生起的不平静的思绪与心情。 细想来，只身在移动互联网和物联网的时 … 继续阅读购置个人台式机小记
判定、构造和证明
引子 最近学习近世代数基础时，短短的一章，一共出现了32个定义、10个性质和30个定理。每一个性质和定理都要经过证明，并非一个顺畅的过程，特别是证明庞加莱定理的那个引理的证明，理解起来颇费精力。学习过程中最为愉快的是认识了同构。同构的定义将置换群与抽象群联系在了一起，从而构造同构的方法与构造对称群的 … 继续阅读判定、构造和证明
编译器前端回顾（下）
编译器前端的程序主干是字符串的匹配，可真正的目的是翻译，将源代码转换为目标码。若将匹配流程比作骨架，那么翻译方法就是血肉。设计翻译方法，在于解决三个问题：如何表示源代码中的语义？如何表示目标码？如何将源代码到目标代码的翻译步骤添加到程序的主干流程当中？ 语义是藏在文字符号本身之上的一种可被解释与理解 … 继续阅读编译器前端回顾（下）
