陆昱宽

英雄联盟 S16 世界赛上，BLG 3：0 战胜了 DK，这是 LPL 自从 S4 OMG 3:0 Najin 之后时隔十二年第二次零封 LCK 队伍。我虽然没有看到这场比赛的直播，但是看了回放，因此就来聊聊这次比赛。

北京时间今天上午，英雄联盟 S16 世界赛的四强赛上 BLG 3:1 战胜了 T1，这是 LPL 队伍自 S3 （2013 年）以来第一次在世界赛战胜 T1（包括其前身 SKT）和 Faker，虽然很多人已经预料到这一结果，但老实地说见证这一幕还是令人特别激动，作为一个从 S3 开始就看 LOL 比赛的人，我今天来详细分析一下这次比赛。

不过因为我没有全程看比赛，而只是在起床后看了第四局，并且后续看完了第一局的回放，因此本文只针对第一局和第四局。

I gave a talk on this topic; the slides are available at here.

Most world models use neural networks to model environment dynamics. Code world models (CWMs) instead use LLMs to synthesize executable programs that simulate the environment.

We will discuss three representative CWM works:

1. WorldCoder (2024)
2. DeepMind CWM (2025)
3. PoE-World (2025)

We focus primarily on WorldCoder, while the latter two are used to complement the discussion with more advanced formulations and design choices and we don't talk about the details of them.

数学一直被视为一门抽象且艰深的学科，但如果你有浓厚的兴趣，合适的教材和老师（自从 GPT 诞生后，你只需要问 AI），你可能会发现很多定理虽然证明起来很复杂，但它们并不抽象，因为每一个步骤都是可以理解的，它们建立在清晰，严格的定义之上。

但是，在所有这些可理解的数学背后，存在着不那么容易理解的数学。我不是在说“抽象代数”，而是比抽象代数还要抽象的领域：数理逻辑。

在这里我们不研究任何数学对象，而是直接研究符号本身。我们常说数学是物理学的语言，因为所有物理学定理都必须用数学来写。但字符串是数学的语言，因为所有数学定理都必须通过字符串表达。它是一个无穷旋转的漩涡，所有望向的目光都被它的中心吸引，一圈，一圈，又一圈...

诶？

我在第几圈？

什么是我？

我是我吗？

关于腹肌以及如何练出腹肌的知识。

我的TFCC 受伤以及恢复（保守治疗 + 康复）经验分享，附带一些我搜集的 TFCC 相关资源。

最近，一篇名为 Stealing Reasoning Traces from Proprietary LLM APIs 的文章引发了广泛讨论。顾名思义，这篇文章提出了一种从闭源 LLM API 中提取 reasoning trace（思维链）的方法。

这篇文章挺有意思的，虽然有些标题党，但给很多人增长了见识，这里就简单聊聊。

介绍英语发音，包括音标、英语元音以及特殊发音规则。本文以通用美式英语（General American, GA）为例。

参考资料：

1. General American from teflpedia
2. General American from wikipedia

Youtube channels are also helpful, such as [@rachelenglish](https://www.youtube.com/@rachelsenglish).

Sources:

1. DiT 2022 paper

Also, it's recommended to read my DDPM and Improved DDPM post to fully understand the context of diffusion models.

Sources:

1. original diffusion model 2015 paper by Jascha Sohl-Dickstein
2. DDPM 2020 paper
3. Improved DDPM 2021 paper