上确界的数学定义
上确界的数学定义大前天晚上在搞高数，看到个例题，给出上确界的数学定义。众所周知，在实数集中，设$$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 ，还学了专业词汇，岂不美
暑期计划
2019年暑期计划因为众所周知的原因，想在这两个月里过的跟往常一样充实，故此立个 flag 吧。反正最终解释权在我手里技能算法[ ] 回到一年前的巅峰水平[x] 去几个 OJ 找找当年的感觉编程[ ] 2级 C & C++ & Python 以上水平[x] 捡起两年前学的PHP、JS、CSS，把博客改一改项目[ ] 捋一遍我的Dark-Zhihu，咕咕了好久[ ] 图片转字符串，总得让我的 To-
博客程序变更说明
博客程序变更说明因为之前用的 WordPress 太™的臃肿了，而且还不支持原生Markdown。加之我在可见的未来里，应该说不定可能有概率会周更，还是换成Typecho吧。目前网站处于转换期，很多功能与之前的文章都有点问题，我会尽早修复。
Git commit log 编写风格
Git commit message 编写风格仅限个人与 The S/L Studio使用，除此之外仅供参考。Headertype 用于说明 commit 的类别，subject是 commit 目的的简短描述，不超过50个字符。Debug(Fix)Fix: bugID(issue#ID) or summarye.g. Fix: issue[#123] why The Null is so niu
Win 下终端 Cmder 推荐
Win 下终端 Cmder 推荐众所周知，Windows 自带的终端程序 CMD 和 PowerShell 都十分难看，影响心情，进而影响效率。而本文的主角，Cmder 是一个Windows上的一个终端模拟器，基于 ConEmu ，还有 Monokai 如此耐眼的主题，比 win 自带的不知高到哪里去。下载与安装前往官网下载。Mini 版：7.8MB，带有基础的 Linux Bash。Full 版
此内容被密码保护
请输入密码访问
Firefox 扩展推荐
Firefox 扩展推荐自Firefox 推出新一代Firefox Quantum 后，作为Firefox 现代化的一部分,Firefox 扩展开发转向了新架构, n 多的扩展收到严重的影响——不能使用。Firefox 从 57 版本开始将全面启用 WebExtensions 拓展，传统 XUL 拓展将不被支持，这个决定有利有弊，弊在于拓展功能性降低，利在于 WebExtensions 拓展支持多
apt-get 换源——Ubuntu镜像使用帮助
apt-get 换源——Ubuntu镜像使用帮助众所周知，某些网站速度过慢，也很不稳定(比如我这个，所以，请我杯咖啡可好？)。为了提高访问速度，通常可以访问镜像网站，比如 **、**、** 等等网站，都可以采取镜像访问的方式，来提高加载速度和稳定性。很不幸的是，Ubuntu 下的软件包管理器——apt-get，默认采用了Ubuntu 的官网，速度么，