Kratacoa·8 maanden geleden·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·vorig jaar·discussThere are babashka and GraalVM as alternative backends for Clojure, who aim to be much lighter than JVM.
Kratacoa·2 jaar geleden·discussAll that stuff lands on LG/AA thanks to those who have subscriptions, i.e. libraries
Kratacoa·3 jaar geleden·discussI just read your comment. Anyhow, it was Ukrainian, and we adopted Gregorian calendar.
Kratacoa·3 jaar geleden·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.