上确界的数学定义
上确界的数学定义大前天晚上在搞高数，看到个例题，给出上确界的数学定义。众所周知，在实数集中，设$$E$$为非空实数集，$$\exists M \in R,\forall x \in E, x \leq M$$,则$$M$$是$$E$$的一个上界。既然描述中用了一个上界，证明肯定不止一个上界，毕竟比只要$$\exists A \in R$$，满足$$M < A$$，就能说明$$A$$也是$$M
GitHub 文档中文化
GitHub 文档中文化真是可喜可贺！自巴别塔塌了后，各界大佬纷纷为语言互通做了很多努力。比如谷歌的机器翻译，夭折的 GitHub 官方本地化，楼教主的油猴插件等等。但我们终于等来了官方的文档中文化。GitHub 被微软收购后的确做了不少利于开源的事情，比如免费的私人库，又比如这次的文档中文化。这样一来，可以直接使用母语查阅，也可以左边窗口英语，右边窗口中文，学了 git ，还学了专业词汇，岂不美