嗯……没错，我最近又开始折腾这个博客了，上次折腾大概还是在两年前。一直以来累积了一些想法，比如有关注 Astro 这种很适合博客做全站 SSG（Static Site Generation，静态站点生成）的框架，但一直也舍不得现在 Vue 的 SPA（Single Page Application，单页应用）架构：没错我真的会在这个博客里用侧边栏的播放器听歌（虽然 VIP 歌曲自从某天我的 Cookie 过期而且我懒得更新后就只能试听 30 秒了）。所以我也希望保留路由切换时的 SPA 体验。
查看更多
前几天听了学校软件自由日的演讲，其中 Hanako 的《Mastodon 与 Matrix：当社交网络由社区运行》让我瘾上来了，遂打算整个小活把博客也接上 ActivityPub。
成果就是这个账号：@[email protected] 喵。
ActivityPub 是一个去中心化社交网络的协议，Mastodon、Pleroma、Misskey 等平台都支持它。只要博客能提供 ActivityPub 接口，就可以让读者在这些平台上关注博客账号，收到新文章的动态。
选型上直接用 Cloudflare Workers，只是因为它太方便了，写完代码 npx wrangler deploy 推上去就能部署。后续维护也不用自己操心。
生成地图在我看来其实是一件非常 cool 的事情，从模拟经营类游戏的玩家，到铁道迷，再到 oc 世界观创作，谁不想把自己的大作美美的展示出来呢！
GPT-Image-2 一次直出：只有一些小错误
本文含有约 20% 的 AI 文字。
现在 Agent 和 Browser Use 很火，但如果你真的使用过，就会发现它完成任务的效率还是很低下。但等等，对于网页，我们明明一直有更高效的交互方式：不如让 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 时非常有用。本文作为学习笔记，记录了正则表达式求导的定义和作用。
参考：
- Regular-expression derivatives reexamined, Scott Owens, John Reppy, Aaron Turon, 2009
License: CC0 1.0
前言
又是新的一年，这是我参加的第二次 GeekGame，题目还是一如既往的有趣。对于思路和其他人类似的题目我就不打算再写了，预期本届官方 资料存档 会有更详细的解法。本 WP 包含：
- 概率题目概率过
- ICS笑传之抄抄榜
- 好评返红包
- 随机数生成器
- 神秘计算器（非预期）
12345