摘要: 开启Mathpix Snip这个插件可以观测到两个问题(关闭则不会有): 1.登录信息服务平台时可能会登录失败,表现为点了登录但是无效,多点几次才行 2.在进行教学评价、教学情况调查的部分,点击选择课程后再点一次选择课程会出现会话失效,需要重新登录的情况,因而无法正常完成教学评价 关了就好了( 阅读全文
posted @ 2025-10-30 21:36 时觋 阅读(5) 评论(0) 推荐(0)
摘要: 在联网环境下执行 git clone https://gitee.com/OI-wiki/OI-wiki.git -b gh-pages 拷贝文件后,在离线环境下执行 cd OI-wiki python -m http.server 即可本地运行OI-wiki, 默认在localhost:8000上 阅读全文
posted @ 2025-10-21 22:37 时觋 阅读(24) 评论(0) 推荐(0)
摘要: 逻辑上 该命题“你厉害->XXX”,逆否命题为"!xxx->!厉害",意为没上XXX的都是垃圾,这本身就是一种以偏概全。然而事实上的真命题应该是"XXX->厉害",这表明前面的逻辑是一种因果倒置。 观点上 这本质上就是一种不分背景不管事理的人身攻击,是以XXX为幌子的攻击,分清楚攻击和讨论 观感上 阅读全文
posted @ 2025-07-04 20:12 时觋 阅读(12) 评论(0) 推荐(0)
摘要: TODO 阅读全文
posted @ 2025-05-20 10:24 时觋 阅读(21) 评论(0) 推荐(0)
摘要: Android系统 的通知设置无法在设置的通知设置里的应用列表里找到,需要在应用设置里,显示系统应用,然后找到Android系统,再进入通知设置 可以用于设置是否发送 XXX显示在其他应用上层 的通知,类似网易云音乐会一直显示这个通知,可以通过这个方法特异性地关掉 (Xiaomi 14 Pro An 阅读全文
posted @ 2025-04-09 11:32 时觋 阅读(31) 评论(0) 推荐(0)
摘要: priority_queue只保证top()和pop()对应的元素是最大的,不会保证内部是完全有序的。因此调试时发现优先队列内部并非有序,不是问题 阅读全文
posted @ 2025-04-06 19:04 时觋 阅读(6) 评论(0) 推荐(0)
摘要: 有两种定义,一是间断点要求其邻域与定义域有交集,也即间断点一定是聚点 另一种是,非连续点就是间断点(包括无定义点,非聚点的无定义点也是间断点) 阅读全文
posted @ 2025-04-02 11:57 时觋 阅读(130) 评论(0) 推荐(0)
摘要: 经过一顿查找后发现是\usepackage{a4}和\usepackage[margin=1in]{geometry}的问题,把\usepackage{a4}放到后者上方,或者直接删除a4的使用即可修复minted的代码块错误 阅读全文
posted @ 2025-03-29 21:12 时觋 阅读(34) 评论(0) 推荐(0)