如果你曾经尝试写过有大量数学公式的博客文章，那我相信你一定因为数学公式渲染的问题 而略微痛过。而如果你尝试在 EPUB 里面排大量数学公式，额……朋友，你现在还好吗……

如果你只是单纯想在浏览器里面把一个公式渲染出来，其实这并不难。一方面我们有 MathML 这样的标准，另外一方面像是 MathJax、KaTeX 这类渲染库都能把事情做好。但 如果你稍微有那么一丢丢额外的追求，那么事情就会变得无比麻烦。

比如：Chromium 的 MathML 兼容性其实没你想象当中的好，Firefox 这边如果你把数学公式 排到表格里就会发现版面很容易就会变得乱七八糟。如果你想要换个字体，那 KaTeX 就 不是一个选项了，因为这个库是用自定义字体实现的部分排版功能，换了字体就只能渲染 出来一片白了。如果你的环境没有 JS 这么高级的东西，那 MathJax 可能也不会是一个好 的选项。

无论是主动还是被动，我想你都看过很多「AI 博主在线卖课」的情节了。最常见的桥段 就是「这是 AI 的时代，如果你再不学，就会被落下」，仿佛今天不买课，明天世界末日 就会到来。不知读者对此是否有一种「熟悉感」？

让我们来试试这个：「不要让孩子输在起跑线」、「小学一年级是最重要的时间」、「小学 二年级赶不上就再也赶不上了」、（请自动脑补小三到小六）、「小升初是人生的关键」、 （请继续一路脑补到高考）。上了大学会被问「你这个年纪怎么睡得着」，开始工作后又 有人讲「不学怎么用 AI 你就完蛋啦！」。

哇哦！酷哦！

随着 Deepseek R1 模型的出现，之前我对大语言模型的诸多论断全都被推翻了。比如先前 我在「当患有 ADHD 的工程师坐上了名为人工智能的四驱赛博轮椅」 这篇文章提到的开发范式，已经出现了大幅的松动。

原本我在向大语言模型提出开发需求时还需要剪裁自己手里的代码，把问题的核心全都一一 挖出来陈列好，交给模型处理。可是现在只需要把所有跟业务逻辑有关的几页代码全都粘在 一起，模型就能自己参考有关的实现，完成必要的开发工作。在使用 Rust 这类相对复杂的 语言时，模型也能做到基本不出错，出错只需要简单修正一两次，就可以产出高度可用的成果。

在感慨开源模式对这一代技术的巨大影响之际，作为一名教育领域的作者，我觉得可以借着 这个机会聊一聊这次技术跃迁对教育领域带来的影响，以及我们需要作出的改变。

2024 年 10 月 25 日，Fitness Boxing 官方宣布正统续作：Fitness Boxing 3。作为一名 二代已经玩了两百多小时的玩家，对此感到颇为兴奋。

我需要一款具备强交互属性的运动程序，帮助我维持每日必要的运动量，而 Fitness Boxing 则是我眼中最为上成的作品。它具备理想健身类程序所必要的一切特质：突出重点， 不会因为强调游戏性而牺牲锻炼效果，打开就玩，也没什么花里胡哨的选关界面分散注意力； 锻炼强度够，心率能够维持在 150 ~ 170 这个区间，因为有谱面在引导你做动作，玩家 甚至没法偷懒；视觉风格好，至少所有角色看起来都「挺聪明的」。

所有我们珍视的终将消逝于暮色，但总有天真之人想要做一些徒劳无功的尝试，想要至少 挽留一些那灿烂时日的余光。

伫立于逝去的昨日与遥不可及的明天之间，我们站在这里，静静的守候着那个不会再醒来的人。

Rune v1.0.0 Wakeman，谨以此作品，向那个不复存在的未来致以最高的敬意。这是我们对 美好旧时代的一次缅怀——一个承载着 Zune 灵魂的音乐播放器。我们站在一起，共同想象 那条未曾走过的道路，瞥见倘若那些初心得以生根会绽放怎样的景象。

这些日子我构思了很多科普文章，但因内容琐碎，都没有办法成稿。但想法若是不能落在 键盘上，很快便会化作泡影。想着不如把所有东西搅一搅，写篇「沙拉」式的文章，兴许 这稀里糊涂的写作方法也能搞出一片文风独特的作品。

在这篇短文中，我想从一些基本概念开始，一步一步地介绍它们是什么。接着再跟你分享， 「大语言模型」（AKA 人工智能）如何帮助我这位已经确诊的 ADHD 患者，将脑袋里那些 飘荡的想法固定下来，变成可触及的作品。兴许同样受此所苦的朋友们，能够从中找到一些 解决问题的灵感。

先前，我撰写了一篇文章向各位介绍了符石聆音这款颇具气质的音乐播放器。而经历了整整 一个月的全职开发后，我们真的实现了当初对「现代聆听体验」的想象。趁着整个项目从 「技术预览」阶段跳跃到「Alpha 测试阶段」，遂执笔撰写一篇文章记录一下这个月发生的 各种幕后故事，我们的思考，和对符石聆音未来的规划。

这是一个我和 NovaDNG 老师探讨了很久的话题。打过好久嘴炮，有过很多幻想。而就在几个月前，我决定将脑子里那些天马行空的想法化作现实。Rune，一款利用现代技术栈重新实现 Zune 神韵的开发项目就此展开。

事实上我已不止一次尝试开发一款播放器，但限于敝人孱弱的技术水平和极其矫情的技术品味，尝试了仓库开了两三个，最后全都变成了弃案。然而随着 GPT、Claude 这类开发能力很强的模型不断涌现，造一个火箭不再是一个遥不可及的事情。如果你之前读过 Alice Run! 的开发报告，那应当能领教这类大语言模型解决开发问题的能力有多惊人。

借着这股「东风」，我开始了几个月近乎疯狂的开发之旅。

自动化 PDF 是一个我从上大学开始就一直在关注的领域。考研的时候有背单词的需求。 为了能根据背诵情况生成小测试卷，我在那时曾经研究过很多方案。作为一名「开源圣战士」 （我曾经是能捏着鼻子坚持用 GIMP 和 Open Office 的猛男），因为这事竟然屈辱吞下了 用闭源解决方案的结果，可见当年的解决方案有多糟糕。

不过时至今日，typst 和各种开源工具链的出现极大降低了整件事情的开发难度。因为这些 年来一直在关注这个领域的发展，所以写篇文章讲讲目前我所发现的各种解决方案，以及 它们的优缺点。

考虑到「报告自动生成」是一个在 OA 系统开发当中广为存在的一个需求，而时至今日依旧 没有一个「银弹」可以解决大多数方案，所以写一篇文章记录一下我这些年对整个话题的 探索，本文亦会记录我最后找到适合自己的「标准答案」。

趁着五一假期，我又开始折腾一些奇奇怪怪的东西了。这次做的是一个由 Joy-Con 和 PC 驱动的 体感视觉小说系统。

实际上这个项目始于两年前，我玩过很多 Switch 上的「体感游戏」，它们都很好玩。但是没有 一款达到了我对理想「可控有氧运动」的需求，于是便想着要么自己做一个。实际上在我的人生中 有过一次非常成功的「减重经验」。

在一个初中的寒假的时间，一个完全做不了任何运动的小胖子，成功的把凸出来的肚子抹平变成了 一个名副其实的「瘦猴」。做法也非常简单，一边看电视一边原地跑，每天跑一个小时，就这么跑了 一个月，开学穿衣服的时候我发现自己身上的「肥肉」竟然被消灭光了。

一切只始于我和同学在家里打赌，原地跑一次跑一个小时看看谁先累趴下。事实上这个过程完全不累， 只是单纯的大量流汗。这大概是我人生当中第一次通过运动激发了内啡肽的分泌，获得了「快乐」 的感觉。因为没什么「气喘吁吁」的难受感觉，后面就坚持下来了。