llyのblog前几天听了学校软件自由日的演讲，其中 Hanako 的《Mastodon 与 Matrix：当社交网络由社区运行》让我瘾上来了，遂打算整个小活把博客也接上 ActivityPub。
成果就是这个账号：@[email protected] 喵。
ActivityPub 是一个去中心化社交网络的协议，Mastodon、Pleroma、Misskey 等平台都支持它。只要博客能提供 ActivityPub 接口，就可以让读者在这些平台上关注博客账号，收到新文章的动态。
选型上直接用 Cloudflare Workers，只是因为它太方便了，写完代码 npx wrangler deploy 推上去就能部署。后续维护也不用自己操心。
生成地图在我看来其实是一件非常 cool 的事情，从模拟经营类游戏的玩家，到铁道迷，再到 oc 世界观创作，谁不想把自己的大作美美的展示出来呢！
GPT-Image-2 一次直出：只有一些小错误
本文含有一定量的 AI 文字。
如果 Agent 本来就会写 JavaScript 修改网页环境，为什么还要让它一点点模拟人手操作？
这几天我搓了一个 Maputnik-AI。它是地图样式编辑器 Maputnik 的一个实验性分支：导入一份 CSV，再告诉 Agent 想画成什么样，它就会直接修改眼前这张 MapLibre 地图。
本文档介绍如何在 VS Code 中配置 Ascend C 开发环境的代码提示工具，以提供代码补全和智能提示。
本文是对米泽穗信《小市民系列》的书评。以后 Bangumi 个人写的比较满意的 ACGN 评论也会放在这个博客上。本文假定读者已经阅读过《小市民系列》或观看过改编的两季动画。
<完结作是“尾声，也是序章”>
自《秋季限定糖渍栗子事件》出版以来，已经十五年过去。米泽穂信的青春推理小说“小市民”系列四部曲终于在《冬季限定夹心巧克力事件》画上了句号。音乐中的尾声是高潮后的余韵。《秋》中，小鸠和小佐内的自我认知的故事已经完结。《冬》一方面是《秋》中狐狼成长与关系性之余韵，另一方面又是对小市民起源故事的补完。本文就以小鸠的成长为线，感受《小市民》系列的魅力。
这学期（2025 春）在上《形式语言与计算复杂性》课程（COMP6106P01）。黄文超老师授课时细节讲述的非常严谨认真，我听课时也产生了一些有趣的（可能上课没有讲到的）直观想法（以及一些私货），所以写一些笔记作为记录。
研一寒假结束前去了趟北京。对于宅了一整个本科最远只从合肥去到上海的我，算是一次颇为新鲜的旅行。
契机是 2024 年底跨年时在合肥包河万象汇听了 MySalt_GirlsBand 的演出，当时就喜欢上了这支北京乐队。然后得知她们参演 北京 BanG Dream！新春庆典 SP Live，正好我也想听 Poppin'Party 的 God Knows...，于是就决定去北京看 live。
来都来了，那自然是多规划几天。确定一下夕发朝至的火车票价格可以接受（往返约 500 元），再稍微对北京的景点和 二次元周边店 做了一点攻略后，就规划了三个白天的行程：看景点、逛街、看 live。
是的，正则表达式也可以有求导！这一技巧在生成正则表达式（或拓展正则表达式）对应的 DFA/scanner 时非常有用。本文作为学习笔记，记录了正则表达式求导的定义和作用。
参考：
License: CC0 1.0
又是新的一年，这是我参加的第二次 GeekGame，题目还是一如既往的有趣。对于思路和其他人类似的题目我就不打算再写了，预期本届官方 资料存档 会有更详细的解法。本 WP 包含：
一份 Monad cheat sheet.
以前在别人的一篇 blog 里看到过有这样一句话，大意是：关于 monad，几乎每个在学习函数式编程中接触到这个模式的，都会写一篇博客描述他的理解。而且不同的人对 monad 的理解有所不同（暗讽 monad 的复杂）。
所以咱也来写一份！尽管 Monad（单子）是一个来源于范畴论的概念（在范畴论中它被定义为「自函子范畴上的幺半群」），若没有接触过范畴论可能会觉得这份定义很难理解，然而在实际编程中，我们只需要数行代码就可以构造出「幺半群」、「函子」和「单子」。
本文将首先用 TypeScript 构造出「幺半群」、「函子」和「单子」及相关示例，然后再（尝试）解释这些概念。因为我们只需要在「程序语言的类型」这一具体语境下使用范畴论的一些概念，所以这里的「范畴论知识」也某种程度上被特化了，我们不会涉及到范畴论中的全部抽象。