杂物
记 MarkItDown 工具试用
很早听说微软的 MarkItDown 工具,简单尝试。由于本地空间有限,我在学校提供的云计算实验平台 PKU CLab 上配置了一个 Ubuntu 环境,在我的 Windows 中远程连接。…
天使与方格吞噬者问题的策略模拟
天使问题发生在一张无限大的整数网格棋盘上,天使初始在原点 $(0, 0)$ 处。每回合,先由魔鬼禁用掉任意一个格子,然后天使尝试移动到一个未被禁用的格子。天使的移动受力量值 $K$ 约束:若当前在 $(x, y)$ 则下一步位置需满足 $|x' - x|, |y' - y| \leq K$. 天使的胜利条件是总是有方法移动下去。…
关于怀疑论的若干衡量
起因是我舍友这学期选了哲学导论,谈及此。这也许会是一篇需要长期更新、反复修缮的文章。讨论的核心是这个具有基础性的问题:如何看待怀疑论?
我个人认同强怀疑论,但似乎大部分人并不如此。…
推荐一个 Markdown 转 PDF 的流程
有时我们想要排版出一份数学/物理试卷或者 cheatsheet, 可能涉及到数学公式、代码块,并以 PDF 形式给出,但是不希望使用麻烦的 PDF 编辑器或者 Word, 也不希望使用一整套 pdftex. 此时可用此流程,只需用到 VSCode 与一个浏览器。
或者在 AI 时代也可使用基于 VSCode 开发的 Cursor, 下文提及的样式可以交给 AI 定制(建议在提示词中指明使用的 Markdown 插件)。…
关于高性能计算的混乱感想
此文主要为吐槽,缺乏实质性内容。大致是发现有一个第三届 PKU HPCGame 的活动可以参加,在其中读题所见的浮光掠影与感想。请忽略其中的错误。…
一些干净魔术效果的构造
大概总结一下一个学期来参加社团「魔术爱好者协会」所学和一些在媒体上所见的经典“构造”,特别是它们不需要道具或练习手法。虽然我称它们为“构造”,表演成分在魔术中相当重要,不宜看作纯粹的数学模型。从一个典型的例子开始:…
记 Rust 编译至 WebAssembly 流程
一个完整的极度简化和减少下载量的 Rust 编译至 WebAssembly 的流程。
《百年新诗选》诗选
使用带锁盒子的传递模型
这个模型的二人版本是在《十日终焉》看到的,最早来源未知。它可以扩展到一般的任意 n 人情形。
大致的背景设定是这样的:现在有 n 个人分别在各自的房间中,一个人希望向另一个人传递信息(一张纸条)。他们唯一的交流方式是通过一个不可信的、能够在房间之间移动的使者。为了防止纸条被使者偷看,考虑把纸条放在盒子中,给盒子上锁。…
猫猫棋:一个棋子可变的游戏设计
本文迁移自之前的文章集,最初设计的原因是希望做一个新奇的棋类游戏作为娱乐活动。共有三种不同毛色的猫,规则简单但难以形成策略。…
原创怪异海龟汤列表
本文迁移自之前的文章集,但有所删减,收录原创、经过检验、相当奇怪的海龟汤。…