杂物

很早听说微软的 MarkItDown 工具，简单尝试。由于本地空间有限，我在学校提供的云计算实验平台 PKU CLab 上配置了一个 Ubuntu 环境，在我的 Windows 中远程连接。…

天使问题发生在一张无限大的整数网格棋盘上，天使初始在原点 $(0, 0)$ 处。每回合，先由魔鬼禁用掉任意一个格子，然后天使尝试移动到一个未被禁用的格子。天使的移动受力量值 $K$ 约束：若当前在 $(x, y)$ 则下一步位置需满足 $|x' - x|, |y' - y| \leq K$. 天使的胜利条件是总是有方法移动下去。…

起因是我舍友这学期选了哲学导论，谈及此。这也许会是一篇需要长期更新、反复修缮的文章。讨论的核心是这个具有基础性的问题：如何看待怀疑论？ 我个人认同强怀疑论，但似乎大部分人并不如此。…

有时我们想要排版出一份数学/物理试卷或者 cheatsheet, 可能涉及到数学公式、代码块，并以 PDF 形式给出，但是不希望使用麻烦的 PDF 编辑器或者 Word, 也不希望使用一整套 pdftex. 此时可用此流程，只需用到 VSCode 与一个浏览器。 或者在 AI 时代也可使用基于 VSCode 开发的 Cursor, 下文提及的样式可以交给 AI 定制（建议在提示词中指明使用的 Markdown 插件）。…

此文主要为吐槽，缺乏实质性内容。大致是发现有一个第三届 PKU HPCGame 的活动可以参加，在其中读题所见的浮光掠影与感想。…