一个正在学习 OI 的初中学生,喜欢用代码创造有趣的东西。
— 重庆 · 九龙坡区 —
数学的可视化之美
Dilworth 定理:偏序集的最小链覆盖数等于最大反链长度
MiniScript → 字节码 → 独立 .exe
Manim: from manim import *
vibe coding: describe → code → ship