Hacker News: SP3269https://news.ycombinator.com/user?id=SP3269Hacker News RSShttps://hnrss.org/hnrss v2.1.1Sat, 05 Sep 2026 07:10:47 +0000<![CDATA[New comment by SP3269 in "Formalizing Fermat's Last Theorem"]]>Interestingly, in his ICM 2026 lecture, Terence Tao specifically mentioned that Lean is not based on ZFC.

]]>Fri, 04 Sep 2026 22:54:14 +0000https://news.ycombinator.com/item?id=49571151SP3269https://news.ycombinator.com/item?id=49571151https://news.ycombinator.com/item?id=49571151<![CDATA[New comment by SP3269 in "Mojo 1.0"]]>From Mojo Wikipedia article: ``` The intention behind Mojo is to bridge the gap between Python’s ease of use and the fast performance required for cutting-edge AI applications. ```

Basically, same raison d'etre as that of Julia.

]]>Wed, 12 Aug 2026 05:49:15 +0000https://news.ycombinator.com/item?id=49268266SP3269https://news.ycombinator.com/item?id=49268266https://news.ycombinator.com/item?id=49268266