Kratacoa·8 месяцев назад·discussAnd formalised mathematics are ignored in mathematical practice by most mathematicians, and even the ones that know of it often don't use that as a foundational language due to relative inconvenience.
Kratacoa·в прошлом году·discussThere are babashka and GraalVM as alternative backends for Clojure, who aim to be much lighter than JVM.
Kratacoa·2 года назад·discussAll that stuff lands on LG/AA thanks to those who have subscriptions, i.e. libraries
Kratacoa·3 года назад·discussI just read your comment. Anyhow, it was Ukrainian, and we adopted Gregorian calendar.
Kratacoa·3 года назад·discussKakoune doesn't have exactly a plugin system, but a module one. There are however various plugin managers.Its customisation is obtained by exposing an interface to the shell with various parts of its functionality.