Show threadscrewlispDec 3

https://screwlisp.small-web.org/software-individuals/trivial-program-that-never-stops/
#programming ed a "companion cell" lisp image that helps the leonardo #softwareIndividual #lisp image (i.e. #gof_ai reasoning example of lisp:classic software).

It works via them both getting #emacs slime-connected. I made it work in a deliberately human-ish way and speed with sleep-fors, then I made the companion cell just turn the agent on forever using loop. The leonardo individual adds a command for itself to do later to the companion's emacs queue list.

screwlispOct 21

https://screwlisp.small-web.org/software-individuals/sandewalls-sat-solver-implementation-example/

Eminently doable #walkthrough of part of Sandewall's 2010 labs 2 and 5 of his #lisp #AI course at the university of Linkoping.

git clone, start lisp, then it solves for locations of a test structure (e.g. some code) satisfying some decision tree constraints.

#logic -al #decisionTree #constraintSatisfaction #satSolver #programming .

See everyone for the live show two hours from now as always on https://anonradio.net/ .

Did you make your first #softwareIndividual ?

Sandewall’s SAT solver implementation Leonardo system example