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