Running EAC on Wine
Steps and Problems
Here is a short note on running Exact Audio Copy (EAC) with Wine, tested with Wine 9.0 and NixOS. It allows Linux users to produce CD rips …
Posted on
Albums of 2023
谨此记录在 2023 年所听的音乐中对我而言最重要的一些专辑。顺序和重要性排序无关。若读者不知去何处聆听，可以去 soulseek 看看，或者直接与我联系。 Re:Lease 不妨从同人音乐讲起。同人音乐圈子的创造力如今还是没能让我提起前些年的兴趣，几个熟悉的社团的新作让人兴…
Posted on
Aristotle’s まぼろし工場
关于《アリスとテレスのまぼろし工場》的标题
冈妈去年的新片《アリスとテレスのまぼろし工場》向观者展开了一个谜题：标题中的「アリスとテレス」究竟意谓何物？片中并没有任何和アリス或者テレス相关的名字，但是如果将「と」也纳入名字的一部分，我们便得到了「アリストテレス」这个词，即亚里士多德。而回顾片中，确实可以找到亚里士多德的蛛…
Posted on
Incontinuity
Posted on
zip Buffer Overflow Detected with Multibyte Filename and Fortified glibc
When Unicode support is enabled, zip processes file names with the function local_to_wide_string. The function calculates the size of the converted wide string, allocates a buffer with that size, and puts the converted string into the buffer…
Posted on
Now We Have Metal At Home
2023.9.22 - FluFlaFen live in Beijing
我之前经常想要问出一个半带戏谑意味的问题：什么时候能在这个学校听到金属乐的 live？ 这个愿望似乎还没有实现的预期，不过周五在实验剧场的 live（相关宣传见这篇文章）给了一些没有想象到的答案。在来之前，我几乎没有看任何关于乐队的介绍。在门口，我就已经听到 hadi 拿着单簧…
Posted on
《奇蛋物语 特别篇》为何是杰作
何谓杰作？具备精巧的叙事，精细的制作，严谨的结构的作品，会成为杰作。但是杰作从来不被这些条条框框所束缚，它们被投射入观众的眼中，创作者、作品和观众首尾相连，某个决定性的一刻发生的时候，杰作便诞生了。对我来说，《奇蛋物语 特别篇》是这样一刻的缔造者，这使得它成为了永恒的杰作。 这…
Posted on
LaTeX Programming Done Wrong
我们最开始使用 LaTeX，也许是开始于某些奇奇怪怪的教程。例如，从 开始，这一切看起来似乎都很正常。但是美好的幻觉很快就被打破了：在网上抄下来的代码稍微改一下就会报出不知所云的错误信息；想要做出一些不太常规的排版效果，但是对于如何实现没有任何头绪；试图写一个宏来减少自己的重复…
Posted on
后现代静态网站
用 Gatsby 重建博客
从 2019 年夏天开始，我用 Jekyll 搭建的博客已经运行一年有余。中间也经历过一次比较大的设计变动。到了今天， Jekyll 这种基于字符串模板的静态网站构建系统愈加让人沮丧。Jekyll 基于 YAML frontmatter 来传递数据，而这对于多个层级的 layo…
Posted on
关于前日 rock live 的简记
12.4，一个周五的晚上，在代码中沉浸了一个下午，又在城市中游荡了许久，最终想起了几天前看到的海报：今晚 8 点，在学校附近的 live house，似乎有一个 rock live。想来今晚也无事，便从快餐店中冲出，急速赶往 live house。 这个 live 是敝校和附…
Posted on
关于 FELT 的杂谈
写在 FELT 宣布即将休止创作后
今天正准备洗澡，忽闻群友谈到车万同人社团 FELT 的事情，去主催 NAGI 的 Twitter 上果然看到了这样置顶的 Tweet。凭借我蹩脚的日语，姑且理解了其意义，简而言之：FELT 即将休止创作，下一张专辑就会是 FELT 的最后一张专辑。看到这条消息之后，想了想还是要…
Posted on
如何搭建一个 full-text search 引擎
在文档中查询的技术
当我们使用搜索引擎，使用网站或者在线服务内置的搜索功能，或者管理本地的文本文件的时候，都会面临这样一种需求：如何在大量的自然语言文本中快速找到符合特定模式的部分？对于精确的字符串匹配，当然已经有成熟的算法了。但是更多的时候我们需要处理更复杂的需求：用户可能只记得大概的模式，因此…
Posted on
计算机的历史——世界图景的数字化
A History of Modern Computing 读书笔记写作杂谈
在上学期选了《技术哲学》课知难而退后，这学期我还是忍不住选了胡老师的《技术通史》课。这门课的期末作业是读书笔记，胡老师提供了几十本各种各样的书（如下图所示）。在这学期里面者确实读过其中的好几本，包括《人类简史》，《技术与文明》，《理解媒介》，《城市发展史》（看了一半），《口语文…
Posted on
VSCode 中文快捷键跳转解决方案
记一次 VSCode 插件的开发（魔改）过程
之前的文章介绍过，我常用 VSCode 来进行 LaTeX 写作。但是当进行中文写作时，VSCode 的一个问题常常让我感到不快：对于英文的内容，我们可以使用 + 方向键 来进行以单词为单位的跳转（如果只用方向键的话，效果是以字符为单位跳转）， + 可以做到以单词为单位的…
Posted on
小记：Submodular 函数与社交网络
论 2017 CTST D1T3 的背景
2017 年的 CTST 上有一道看起来有些奇特的题目，当年这道题由于放送事故被整成了错题，导致没有起到任何区分度。我原本也没有太在意这样的一个题目，直到这学期某位老师给我们讲课的时候讲到了一些关于社交网络传播的内容，经过一些思考之后，我发现老师讲的内容里面正好蕴含了上面这道题…
Posted on
LaTeX Writing Workflow
之前的文章中介绍了 LaTeX 的工具链的相关内容。在这一节中，我将根据我当前微小的经验，记录一下我目前使用 LaTeX 写出一篇完整的论文所需要的工具和工作流。 Bibliography 参考文献是论文中重要的一环，但是如果手动输入参考文献的话，无论是编写的复杂度（手动输入非…
Posted on
Dive into LaTeX, Part 1
LaTeX 工具链介绍
TeX作为 Kunth 为了 TAOCP 所开发的排版工具，它专注于生成高质量的学术排版效果，是我日常作业/文章写作的最佳选择之一。LaTeX 绝大多数情况下以 pdf 作为输出格式，能够在各种设备上保持相同的显示效果，这在很大程度上和 LaTeX 是针对出版物排版所设计的有关…
Posted on
关于博客搭建过程的一些总结和吐槽
前些日子看到 Github pages 的一些介绍（虽然之前就知道了），再加上想复习一下 CSS，于是便脑子一热萌发了使用 Github pages 搭建 blog 的想法，写了几天代码CSS，算是把基本功能都完成了。这里总结一些搭建过程中遇到的问题。 Jekyll Jekyl…
Posted on
北夏第四题的证明
昨晚看到今年北夏第一天的题目，显然第四题是最好看的一个，发现一个比较自然的做法，记录如下： Problem 设 是一个实系数多项式，求证存在一个实系数多项式 ，使得 ，且 Sketch 如果 0 是 的根，将约去因子 使得剩下的多项式不含根 0，注意到这不影响本题的结论，…
Posted on
小数部分均匀分布的初等（大概）证明
的均匀分布性是一个非常方便好用的命题，之前我 一直只知道使用 Wyle 判据的证明方法，但是这一证明方法需要用到稍深入的分析学，包括 Weierstrass 的三角多项式逼近定理。今天我正在思考另外一个和小数部分有关的命题，突然想到了一个有趣的方法，可以用于证明这个问题，于是便将…
Posted on
一个猜想的证明
立方体图子图的最大度
最近看到一篇文章，讲述了一个几十余年历史的猜想近日被证明的事情。令人惊讶的是论文中的这个证明主题居然只有不到两页，并且只用到了基本的线性代数，遂记录之。 Hypothesis 这个猜想可以是在研究 Bool 函数的“敏感性"时被提出来的，其内容可等价叙述如下： 设 表示 …
Posted on