-
「Modular Arithmetic Challenge」：数学直觉如何落到可检验的步骤
A couple months ago, Damek Davis and I launched the first mathematical c…
-
「On the proposed rule changes to the administrati」笔记：问题从哪来、证明卡在哪
The United States Office of Management and Budget (OMB) has proposed a v…
-
「Third SAIR competition: inverse Galois challenge」笔记：问题从哪来、证明卡在哪
I am happy to announce the third SAIR challenge, which is focused on obt…
-
「A digestion of unit distance constructions」笔记：问题从哪来、证明卡在哪
Suppose that one has a set of points in the plane, which we will think o…
-
读懂「Gilbreath’s conjecture: a Cramér random model an」：先把定义、反例和适用范围钉死
Zachary Chase, Zach Hunter and I have uploaded to the arXiv our preprint…
-
把「Old and new apps, via modern coding agents」写成可执行的阅读路径
I have been interested in machine-assisted ways to do and teach mathemat…
-
2026 TensorRT插件版本与命名空间避坑指南 解决同名插件冲突报错
TensorRT依靠插件名称、版本、命名空间三重唯一标识实现自定义插件精准匹配，彻底解决多插件同名、同版本导致的推理冲突问题。TensorRT1…
-
「A random variable visualizer」：数学直觉如何落到可检验的步骤
With the advent of modern coding agents, many visualization projects tha…
-
读懂「A paper diagram visualizer」：先把定义、反例和适用范围钉死
I am finding the newly revealed capability to code old applet ideas into…
-
「Call for long programs, workshops, and summer sc」笔记：问题从哪来、证明卡在哪
(I am writing here in my capacity as Director of Special Projects at IPA…