ASC_8384 的个人博客

XTUOJ-190801已经存了三四篇写了一半的博文了，可惜一直没精力写完，唉。1000，Problem A+B请参考语法书，不要整啥骚操作，就当熟悉 OJ 用。正常时间复杂度O(1)1035，列车长的烦恼栈的理解。判断出栈序列是否合法，可以看出栈序列中的每个数后面的比它小的数是否是按递减排列的。来个不是很严谨的证明，所有比i小的数要么已经出栈,要么在栈中，如果还在栈中则一定在i的下面。时间复杂度

- 阅读全文 -

上确界的数学定义大前天晚上在搞高数，看到个例题，给出上确界的数学定义。众所周知，在实数集中，设$$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 被微软收购后的确做了不少利于开源的事情，比如免费的私人库，又比如这次的文档中文化。这样一来，可以直接使用母语查阅，也可以左边窗口英语，右边窗口中文，学了 git ，还学了专业词汇，岂不美

- 阅读全文 -

2019年暑期计划因为众所周知的原因，想在这两个月里过的跟往常一样充实，故此立个 flag 吧。反正最终解释权在我手里技能算法[ ] 回到一年前的巅峰水平[x] 去几个 OJ 找找当年的感觉编程[ ] 2级 C & C++ & Python 以上水平[x] 捡起两年前学的PHP、JS、CSS，把博客改一改项目[ ] 捋一遍我的Dark-Zhihu，咕咕了好久[ ] 图片转字符串，总得让我的 To-

- 阅读全文 -

博客程序变更说明因为之前用的 WordPress 太™的臃肿了，而且还不支持原生Markdown。加之我在可见的未来里，应该说不定可能有概率会周更，还是换成Typecho吧。目前网站处于转换期，很多功能与之前的文章都有点问题，我会尽早修复。

- 阅读全文 -

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 推荐众所周知，Windows 自带的终端程序 CMD 和 PowerShell 都十分难看，影响心情，进而影响效率。而本文的主角，Cmder 是一个Windows上的一个终端模拟器，基于 ConEmu ，还有 Monokai 如此耐眼的主题，比 win 自带的不知高到哪里去。下载与安装前往官网下载。Mini 版：7.8MB，带有基础的 Linux Bash。Full 版

- 阅读全文 -

请输入密码访问

- 阅读全文 -

Firefox 扩展推荐自Firefox 推出新一代Firefox Quantum 后，作为Firefox 现代化的一部分,Firefox 扩展开发转向了新架构, n 多的扩展收到严重的影响——不能使用。Firefox 从 57 版本开始将全面启用 WebExtensions 拓展，传统 XUL 拓展将不被支持，这个决定有利有弊，弊在于拓展功能性降低，利在于 WebExtensions 拓展支持多

- 阅读全文 -