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.