Erina

摘要： 开启Mathpix Snip这个插件可以观测到两个问题（关闭则不会有）： 1.登录信息服务平台时可能会登录失败，表现为点了登录但是无效，多点几次才行 2.在进行教学评价、教学情况调查的部分，点击选择课程后再点一次选择课程会出现会话失效，需要重新登录的情况，因而无法正常完成教学评价 关了就好了( 阅读全文

摘要： 在联网环境下执行 git clone https://gitee.com/OI-wiki/OI-wiki.git -b gh-pages 拷贝文件后，在离线环境下执行 cd OI-wiki python -m http.server 即可本地运行OI-wiki, 默认在localhost:8000上 阅读全文

摘要： 逻辑上 该命题“你厉害->XXX”，逆否命题为"!xxx->!厉害"，意为没上XXX的都是垃圾，这本身就是一种以偏概全。然而事实上的真命题应该是"XXX->厉害"，这表明前面的逻辑是一种因果倒置。 观点上 这本质上就是一种不分背景不管事理的人身攻击，是以XXX为幌子的攻击，分清楚攻击和讨论 观感上 阅读全文

摘要： TODO 阅读全文

摘要： Android系统 的通知设置无法在设置的通知设置里的应用列表里找到，需要在应用设置里，显示系统应用，然后找到Android系统，再进入通知设置 可以用于设置是否发送 XXX显示在其他应用上层 的通知，类似网易云音乐会一直显示这个通知，可以通过这个方法特异性地关掉 (Xiaomi 14 Pro An 阅读全文

摘要： priority_queue只保证top()和pop()对应的元素是最大的，不会保证内部是完全有序的。因此调试时发现优先队列内部并非有序，不是问题 阅读全文

摘要： 有两种定义，一是间断点要求其邻域与定义域有交集，也即间断点一定是聚点 另一种是，非连续点就是间断点（包括无定义点，非聚点的无定义点也是间断点） 阅读全文

摘要： 经过一顿查找后发现是\usepackage{a4}和\usepackage[margin=1in]{geometry}的问题，把\usepackage{a4}放到后者上方，或者直接删除a4的使用即可修复minted的代码块错误 阅读全文