有关工具的思考

2023-03-03 做工具的主人要有积极的态度与恰当的方法。方法恰当却态度不积极,是工具的敌人。方法不恰当态度积极,是工具的学徒。方法不恰当还态度不积极,是工具的奴隶。傲慢使人成为工具的敌人,懒惰使人成为工具的奴隶。人极容易沦为工具的奴隶。实际上,持有积极的态度已经是在运用恰当的方法。 2023-03-02 能不能、 …

架构概述

原文链接:https://source.android.google.cn/docs/core/architecture The Android Open System Platform (AOSP) is publicly available and modifiable Android source code. …

博客标志故事

Jeremy’s World翻译成中文是吉里米的世界,取自《苏菲的世界》,博客搭建那段时间我刚好在读这本小书,格外喜欢,便用作了站点的标题。 Jeremy是新东方一位外教送我的名字,与我的中文名字佳明发音相近。World在Merriam-Webster中名词共14义,取其第6义“the system of …

博客维护大纲

从2014年12月搭建博客以来,对站点做过三次大的维护,分别是2016年7月、2020年6月、2023年1月,具体维护的内容记录在了维护日志中,而这篇是为了规范化维护的各个方面,用以节省维护的时间成本,同时也给其他的博客人做个参考。 托管服务 站点的数据库、网页服务器、域名、数字证书都需要托管服务,定制主题源代码也需要 …

博客维护日志

2023年1月 升级WordPress版本至6.1.1、MySQL至5.7.25-log、PHP至5.6。 为mjm1990.com域名开启SSL数字证书。关于为何要开启SSL,查看这篇。 清除两万两千多条垃圾评论。 启用并购买CleanTalk垃圾评论过滤服务。 通过Docker Compose提升主题开发的自动化程 …

关于分科思维的一些想法

学位学科目录2011版中分了十三个学科门类,依次是哲学、经济学、法学、教育学、文学、历史学、理学、工学、农学、医学、军事学、管理学和艺术学。一般情况下,一个人全脱产学习四年能取得一个学位。获得学士学位意味着在这个学科门类中粗略浏览了一些内容,至于有没有被领进门,还待将来实践的检验。所谓的被领进门,意思是已经察觉并初步理 …

购置个人台式机小记

购置因由 年初作计划时,重新对深入理解安卓系统发生了兴趣。四年前,曾尝试在Windows的虚拟机上编译,失败告终。如今不只是工作中需要相关知识,更是带着一种惊叹与好奇,想要更多地接近时代所造就的一些逻辑上的庞然大物中所潜藏的智能,以安抚生起的不平静的思绪与心情。 细想来,只身在移动互联网和物联网的时代,对云与端的深入理 …

判定、构造和证明

引子 最近学习近世代数基础时,短短的一章,一共出现了32个定义、10个性质和30个定理。每一个性质和定理都要经过证明,并非一个顺畅的过程,特别是证明庞加莱定理的那个引理的证明,理解起来颇费精力。学习过程中最为愉快的是认识了同构。同构的定义将置换群与抽象群联系在了一起,从而构造同构的方法与构造对称群的子群的方法被联系在了 …

编译器前端回顾(下)

编译器前端的程序主干是字符串的匹配,可真正的目的是翻译,将源代码转换为目标码。若将匹配流程比作骨架,那么翻译方法就是血肉。设计翻译方法,在于解决三个问题:如何表示源代码中的语义?如何表示目标码?如何将源代码到目标代码的翻译步骤添加到程序的主干流程当中? 语义是藏在文字符号本身之上的一种可被解释与理解的特性。比方说,符号 …

编译器前端回顾(上)

在设计编译器的前端时,程序驱动的主干是字符串的匹配,所回答的基本问题是_输入文本是否能够匹配**预定义规则**,因而返回值是是或否_。 对于回答是的情况,说明输入文本落在了预定义规则划分的范围内。可当规则的描述具有一定规模、较为复杂的时候,又需要知道具体匹配到了哪些规则,这时才会涉及到翻译的问题,常称作语法制导翻译,原 …
(1 - 8)
Enter 按 Enter 键跳转