SP3269

5 ms·

1. 1.▲
   by SP3269 5d ago

   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! https://en.wik
2. 2.▲
   by SP3269 13d ago

   Interestingly, in his ICM 2026 lecture, Terence Tao specifically mentioned that Lean is not based on ZFC.
3. 3.▲
   by SP3269 1mo ago

   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.