Few years ago I became interested in modelling complex societal and economic processes. That led me to discovering NetLogo, a multiagent-based programming and modelling environment derived from Logo. Can recommend!…
Interestingly, in his ICM 2026 lecture, Terence Tao specifically mentioned that Lean is not based on ZFC.
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…
Few years ago I became interested in modelling complex societal and economic processes. That led me to discovering NetLogo, a multiagent-based programming and modelling environment derived from Logo. Can recommend!…
Interestingly, in his ICM 2026 lecture, Terence Tao specifically mentioned that Lean is not based on ZFC.
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…