untrusted comment: verify with st.pub
RWQTleDnDrmVqRlE3P8FulY/d2LJPlIr4PsFBO4OkoEJhUNba9J7iaPurUrvd6OHcbDLRV9sF+Yn0Ad6w7Mya7hOm0cQtN2eXgo=
ACL2 and maxima are successful and current lisp creations.
On another topic, lispers have noted that it's not just one killer
feature that seems to make lisp elite; it seems a cluster of features
covers a space of common local optima. I forgot whose books said that.
Lisp also grows and adapts such as with the common lisp object system
[and metaobject protocol].
ACL2 and maxima are domain-specific universes in lisp rather than simply
domain specific languages. I haven't personally generally used maxima.
Both ACL2 and maxima are many-faceted environments for their
constructing new functionalities, and are as notable for ellisions from
common lisp as inclusions. In ACL2 one creates groundwork for
discovering first order theorems, and maxima creates the well known
world of mathematical processing and visualisation.
Hence my conjectured bag of wide-ranging and occasionally original
features:
Chaosnet -working ; make all of gophers, geminizers and websters
unhappy. (???). Chaosnet is a protocol by Moon for highly reliable
networks. (I think there's an extant cottage scene).
Packages are pulled from noncentralised gopher-like cvsweb-like sources;
generally as like browsable gopher itemtypes 1 and 0 of
~/common-lisp/my-project/ gophermaps; signed, manifested tgzs of these
also hosted are pulled in(to asdf's ~/.local/share/common-lisp/source/
per-folder as extracted signify(1)ed .tgzs.
Hosting, aside from aforesaid chaos-gotpherweb, provides single and
multi user activitypub-alike service, in some sense fulfilling w3's
current activitypub spec with a notion of whatever chaosnet requests are
(datagram-like?).
The following packages are mandated: CLML (BLAS ML), MGL (GPU ML),
Northwestern University's CBR [I saw this somewhere]. All of and to the
extent practical only all of these packages + activitypub-alike in all
directions are included.
Threading is not treated within the image; however, multiple images may
in general be coordinating through a shared activity-pub-alike host; and
multiple activity-pub-alike hosts may be federating. A worker machine
with four cores is probably running five images.
Recapitulating:
A lisp, in the spirit of acl2 but having
chaosnet activitypublike + gopherlike gotweblike serving and access both
data and systems Three AI tools present: CLML, MGL, [] CBR.
Due to the AI packages, sbcl is the target lisp.
(Does anyone have the link to modern chaosnet facility).
In general AI developed are interfaced with by socialising on the
activity-pub-alike.
