Blog¶

2026年2月28日
分类于 Programming Language
需要 3 分钟阅读时间

Saya Lang: Loop Break Value

给 Saya 实现些新特性，让 loop { ... } 表达式可以通过 break my_value; 表达式返回一个值。

2026年2月4日
分类于 Game Design
需要 5 分钟阅读时间

Versu: Agents and Utility AI

这是对交互式故事角色 AI 引擎 Versu 工作原理的简要介绍，主要是 代理/角色（Agents） 和 基于效用的决策系统（Utility-Based Decision-Making） 部分。

内容从小组讨论会的会议材料修改而来，材料被 LLM 润色过（修改了分段和措辞，为了“更快更方便阅读”），与以往的博客语气会不太一样。

Versu 没有公开过具体实现，我所有的分析均来自 Richard Evans 和 Emily Short 的论文以及 Emily Short 博客上的零散文章，可能有不少错误。

2026年1月23日
分类于 Programming Language
需要 4 分钟阅读时间

Hello, Saya Lang

extern fn puts(s: *u8) -> i64;

pub fn main() -> i64 {
    puts(c"Hello, Saya!");
    0
}

我真正意义上的第一个编译型玩具语言，编译到 QBE IL。

语法和关键字与 Rust 差不太多，基于表达式。编译器内部结构参考了 Hare 语言的编译器 harec，一些数据结构设计参考了 rustc。

Saya 是圣诞节项目，想当做某种礼物送给自己，后来拖延成了跨年项目，再最后，要变成新年项目了……

总之，向您送出诚挚的圣诞祝福。

仓库：github.com/13m0n4de/saya

2025年11月6日
分类于 Scientific Witchery
需要 9 分钟阅读时间

Using Djot instead of Markdown in MkDocs

本文 Markdown 含量为 0.59 ‰，消耗咖啡液和温水共 2000 ml，合计咖啡因约 310 mg。

仓库：github.com/13m0n4de/mkdocs-djot

2025年10月23日
分类于 Scientific Witchery, Security
需要 4 分钟阅读时间

Functional Pipeline Programming in Python

用 Python 写了个小工具，根据手机号段信息生成 hashcat 掩码。

仓库：github.com/13m0n4de/purrify

平平无奇？看看这个：

purrify.py
_ = sys.stdin > (
    pipe
    | foreach(parse_csv_line)
    | where(X.__len__() > min_length)
    | where(X[type_idx] == "MOBILE")
    | where(in_cities, geo_indices=geo_indices, cities=cities)
    | foreach(lambda x: (x[prefix_idx], int(x[length_idx])))
    | foreach(as_args(purrify))
    | foreach_do(print)
)

2025年7月20日
分类于 Scientific Witchery
需要 4 分钟阅读时间

Markdown to PDF with Pandoc and Typst

仓库：github.com/13m0n4de/pandoc-typst-catppuccin

自从团队使用 Obsidian 协作组织文档库以来，需要将 Markdown 转换为 PDF 的情况越来越多。Obsidian 的默认导出不好用，自定义功能太少，被逼无奈使用 Better Export PDF 了一段时间，边距、大纲书签以及页眉页脚等自定义功能不错，但它总是没法跟随我的暗色主题，自定义 CSS 又太过麻烦。

~~于是，我们写了个新插件。~~ 可惜，我们还是继续凑合用着。

直到我们需要批量导出多个 Markdown。

Obsidian 没有给我编写自动化脚本的发挥空间（也许宏可以，但……太恶心了，而且没办法集成到 CI 里）。