mattbusel /
proof-engine
写下方程，它就把方程的运动画出来。一个用 Rust 写的实时生成艺术引擎：洛伦兹吸引子等奇异吸引子、力场和物理驱动成千上万个发光的点和字形，经过 HDR 泛光渲染，直接在屏幕上动起来。 可以直接玩的东西 Windows 下双击就能跑的洛伦兹吸引子演示，不用装 Rust：proof-lorenz.exe，也有 10 个演示加编辑器的合集，以及 Linux 版 一个“数学屏保”：引擎里的十种奇异吸引子轮流播放，每个点都由方程实时驱动，下载 …
Product images
About
写下方程，它就把方程的运动画出来。一个用 Rust 写的实时生成艺术引擎：洛伦兹吸引子等奇异吸引子、力场和物理驱动成千上万个发光的点和字形，经过 HDR 泛光渲染，直接在屏幕上动起来。 可以直接玩的东西 Windows 下双击就能跑的洛伦兹吸引子演示，不用装 Rust：proof-lorenz.exe，也有 10 个演示加编辑器的合集，以及 Linux 版 一个“数学屏保”：引擎里的十种奇异吸引子轮流播放，每个点都由方程实时驱动，下载 .scr 右键安装即可 在自己的 Rust 程序里用：cargo add proof-engine 怎么做的 每一帧在 CPU 上用 RK4 推进 4 万个洛伦兹状态，每个状态变成一个字形实例，一次实例化绘制调用画完；再画进半精度浮点 HDR 缓冲区，让重叠处的亮度叠加超过 1.0，最后做泛光和 ACES 色调映射。README 里有一张动画示意图把这四步画出来了。 有中文 README：
Discovery history
- 阮一峰周刊·用户投稿
Discuss this product