Lmst

#programming #knowledgeRepresentation #engineering #gamedev #lispgamejam #lisp https://screwlisp.small-web.org/programming/intro-software-individuals-knowledgebases/
in which I introduce creating knowledgebases in my #softwareIndividuals in a brief and heartwarming way. I put a new value in the entity inside the knowledgebase defining the knowledgebase to add a dependency to another knowledgebase. #intro #demo

Birds were removed from plants+insects+birds for time budget reasons.

@shizamura how far afield is my useage from what you do srsly?

Truncated rendered markdown of

Telling active-simulations-kb that it mustload (i.e. depends on) simulation-base-kb
loadk active-simulations-kb
setk active-simulations-kb
put active-simulations-kb mustload {simulation-base-kb}
writefil active-simulations-kb
loadk active-simulations-kb
And we can see in the other half of our screen:

ses.013) loadk active-simulations-kb
Load-ef: active-simulations-kb at ../../../demus/Active-simulations/active-simulations-kb.leo
Load-ef: simulation-base-kb at ../../../demus/Simulation-base/simulation-base-kb.leo

ses.014)
so we added the knowledge that active-simulations-kb first mustload the simulation-base-kb when it is loadked.

What the persisted knowledge looks like

#programming #engineering #emacs #eev #eepitch #markdown #md #intro #howto
https://screwlisp.small-web.org/programming/my-own-eev-eepitch-emacs-intro/
Capturing how I have started programming recently. In an md markdown document, I just weave in eev's red star lines and pitch other lines. Since eev 'inhabits other things' naturally, eepitch makes plain markdown into a powerful interactive evaluation mode.

The eepitching includes #shell #lisp #elisp #commonLisp and my #softwareIndividuals #KRF in the kind of freeform medley it lends itself to.

A truncated rectangle of vanilla whitefield emacs markdown document with eev eepitching woven in:
mkdir -p ~/leocommunity
cp -r ~/Pawn-75/Pawn-75 ~/leocommunity/my-software-
```
Where 'red star' lines contain elisp, and other lin
```
(setq inferior-lisp-program "clisp -E ISO-8859-1
(slime)
(setq eepitch-buffer-name "*slime-repl clisp*")
```
as you can tell, I snuck in both making and startin
```
(require "asdf")
(uiop:chdir "~/leocommunity/my-software-individual-
(load #p"../../../remus/Startup/cl/acleo.leos")

(cle)
put my-first-symbol property is-value
(get my-first-symbol property)
```
Pressing `<F8>` either evaluates a red star line as

#programming #gamedev #lisp #devlog #lispgamejam the third for my birds eating insects eating plants experience https://screwlisp.small-web.org/lispgames/plant-sensors/ imagining the #automata #agent #Sensors .
Simple sensor input -> acceleration agents in a grid ideas.

I don't get what happened with that markdown table either.

I also add the #types for bird insect plant in my #softwareIndividuals KRF.

#gamejam forum post https://itch.io/jam/spring-lisp-game-jam-2025

A labelled region neightborhood-star markdown table:
| | | | | b | | | | |
| | | | | b | | | | |
| | | a | a | b | c | c | | |
| | | a | a | b | c | c | | |
| d | d | d | d | | e | e | e | e |
| | | f | f | g | h | h | | |
| | | f | f | g | h | h | | |
| | | | | g | | | | |
| | | | | g | | | | |

#itch #itch_io #gamedev #devlog #programming #lisp https://screwlisp.small-web.org/lispgames/plant-insect-bird-game-sketch/

Blog the second for my #softwareIndividuals Braitenberg-vehicles type birds eating insects eating plants experience. #software #agent #simulation .

This one is an introductory #demo for my #softwareIndividuals useage as well. https://codeberg.org/tfw/pawn-75

#lispGameJam forum thread: https://itch.io/jam/spring-lisp-game-jam-2025/topic/4858711/what-genre-is-simulation-eat-things-or-you-die

Very interested in feedback and commentary, hearing how your jam is doing.

Emacs with left and right frames:
On the left:

addmember (get board contents) first-place
writefil board
loadk board
```

## Check out first place.
```
(get first-place tiles)
(get first-place description)
```
To everyone who wasn't playing along, those last two lines resulted in

```
On the right:

ses.023) writefil board
writeloc-file-leo: ../../../demus/Game/board.leo

ses.024) loadk board
Load-ef: board at ../../../demus/Game/board.leo

ses.025) (get first-place tiles)
=> <ground ground plant ground insect bird bird ground plant>

ses.026) (get first-place description)
=> "First place in that it was the first place rather than particularly competitive"

ses.027)

Interview postponed / let's just talk about #types and #typing today's show on @dougmerritt and @vnikolov 's suggestion below.

(I'll speak a little bit to #Sandewall 's #SoftwareIndividuals #knowledgerepresentation

If anyone knows anything about #typetheory, that would be great.

https://anggtwu.net/math-b.html
https://www.hanselman.com/blog/stringly-typed-vs-strongly-typed
https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html
type links welcome

and #lisp

@shizamura possibly you can explain types of OWL to us instead of sleeping?

#emacs #lisp #programming #technology #blog https://screw-lisp.statichost.eu/emacs/swankful-software-individuals.html #softwareIndividuals #knowledgerepresentation

Teaching my Screwlispbot softwareindividual how to l̶o̶v̶e use emacs via #commonlisp slime swank.
https://screw-lisp.statichost.eu/

Quite a lot of commentary on using-emacs-at-all.

Comments, thoughts, criticisms, website advice sought.

Emacs snipped in a low contrast lightfield theme, literally this repl history:

writeloc-file-leos: ../../../demus/Emacs/cl/emacs-kb.leos
writeloc-file-leo: ../../../demus/Emacs/swank.leo
swank

ses.033) loadk swank
Load-ef: swank at ../../../demus/Emacs/swank.leo

ses.034) put inserto type lispdef
put: inserto type lispdef

ses.035) addmember (get swank contents) inserto

ses.036) writefil swank
writeloc-file-leo: ../../../demus/Emacs/swank.leo

ses.037) loadfil swank
Load-ef: swank at ../../../demus/Emacs/swank.leo
swank

ses.038) inserto *scratch* "foo bar baz"

Sharpsign literally my personal #programming #technology #lisp #blog
#commonLisp #SoftwareIndividuals #demo
https://tfw.codeberg.page/software-individuals/pawn-75-useage-as-it-begins.html
https://tfw.codeberg.page/

Truncated entityfile text of the fragment
---------------------------------------------------------
-- fruit

[: type thingtype]
[: attributes {has-colors has-mouthfeel}]
[: nullvalued {description subsumed-by has-attributes has-categories create-proc registr-proc latest-rearchived}]

---------------------------------------------------------
-- apple

[: type fruit]
[: has-colors {green yellow red}]
[: has-mouthfeel crisp]
[: latest-rearchived nil]

I noticed that @Codeberg has static websites.

#commonLisp #lambdaMOO #softwareIndividuals #emacs
sharpsign priority-requestsp

https://tfw.codeberg.page/

#lispyGopherClimate #lisp #programming #technology #podcast https://communitymedia.video/w/hS6d5gnX4Vy6RrKNjr1uwQ
#liveChat as always in #lambdaMOO
telnet lambda.moo.mud.org 8888
co guest
@join screwtape
@kentpitman #climateCrisis #haiku https://climatejustice.social/@kentpitman/114380635231638536

My #softwareIndividuals thing, #emacs mode writing, @akater 's cl-el https://framagit.org/akater/cl-el/-/blob/master/el.org , maybe knowledge-based #ai generally. Some notes from the past week. Jostle me towards your personal favourite topics.
#boost
@nosrednayduj @hairylarry @mdhughes

Lispy Gopher Climate unix_surrealism poster, with the gophe rreaching down to the green lisp alien's nose-hand from atop a building with a poster of Erik Sandewall, "MAKE COMPUTERS THINK".

@iacore
One thing about using #emacs is that there is no additional work in spawning one #slime repl for awake #softwareIndividuals , and there is no additional work having one repl drive others using (swank:eval-in-emacs "'(do something in the other slime repl)"). I believe this is well preservable using Akater's elisp-in-lisp (Lem supports slime, after all). I'm not sure if slimv is so convenient; it should be, shouldn't it?

I guess "real" multiprocessing with mpi eventually.
@akater @ksaj

@iacore
at the moment, I'm just writing knowledgebases and actions, where actions are either lisp or scripts of other or primitive actions. Sofaras not-emacs, I am planning to use @akater's https://framagit.org/akater/cl-el/-/blob/master/el.org #commonLisp #elisp.

I'm really still just #dogfooding #softwareIndividuals rn. But situations [H (succ .s [paint :obj .h :as .c]) (color: .h) .c] (Holds) in the situation that normally results from the action of painting the object h with the color c, the color of h will be c
@ksaj

@ksaj (when it's finally tuesday for you) does the scripting seem reasonable to you? I guess the ghost of Sandewall is annoyed that I'm not using a decision-tree structure or successor functions, but I wanted to start by dogfooding my entire computer useage into #softwareIndividuals agents before tackling decision trees and beliefs/desires/intents

#lisp I may be going to hell, but at the moment my-own #softwareIndividuals scripting 'scroact' is like this.
I have a type:
-- scrscript

[: type thingtype]
[: attributes {actions substs}]
actions is a sequence:
(get testscr actions)
=>
<[put b c d]
[put e f g]>
if I want to setf (get 'e 'j) 'h instead I would
scroact testscr f j g h
Since it just performs substs on a copy of the scripted sequence of actions. If there is no &rest plist, it uses (get scriptname 'substs) for the substs.

#LispyGopherClimate #lisp #ai #peertube
https://communitymedia.video/w/7KpDL8dmSMN7zH6TxEgQbb

@kentpitman #haiku

Resurrected Sandewall's #softwareIndividuals from 2014.

This episode is dedicated to general purpose interaction in the software individual / #CAISOR paradigm.

Next will be porting the dynamicwindows zetalisp zwei to McCLIM #commonlisp.

@prahou #unix_surrealism next #openbsd release art??

Also @pesco and @dougmerritt on IPE '84

co guest and join in on #lambdaMOO as always!

@mdhughes @nosrednayduj @sacha

Moonlight on the gopher reaching down from atop a building to the green lisp-alien's hand-nose. I poster of Erik Sandewall's face with the words MAKE AI THINK is on the wall.

LISPY
GOPHER
SHOW
anonradio.net
000UTC
wednesdays

#lispyGopherClimate #technology #lisp #podcast #tomorrow

Okay, tomorrow I'm just going to present where I kinda suddenly got to this past week with Sandewall's #Leonardo #SoftwareIndividuals, which is quite far really.

These are basically the most advanced point cognitive good-old-fashioned-a-i got to in my opinion, concluding with Sandewall's 2 unpublished open access books in 2014. #gofai #ai #cai

https://codeberg.org/tfw/pawn-75

If anyone wants to join the call for whatever topic, let me know.

https://codeberg.org/tfw/pawn-75#headline-13
#Sandewall #SoftwareIndividuals

creating a knowledgebase, setting it as active, creating a file and

Minimally defining
- an entity that provides a #lisp function in the host #commonLisp
- an entity that provides a new CLE verb in the host #commonLisp

baby steps

#lispyGopherClimate #archived #now ! https://archives.anonradio.net/202411270000_screwtape.mp3 every Wednesday 000UTC
#climateCrisis #haiku by @kentpitman

#lisp #mathematics #writing #lambdaMOO #MOOing generally:
My #lispmoo2 and remembering #softwareIndividuals

In paradise sushi!
telnet lambda.moo.mud.org 8888
co guest
@join screwtape

We'll look at Cat's gopher given enough time

#unix_surrealism @prahou

the music this week is the silence in between my thoughts

LISPY
GOPHER
SHOW
The gopher on top of a building reaching down to the lisp alien's extended nose.
A portrait of Erik Sandewall.

FLAME WAR IS ON! on another wall.

#lispyGopherClimate https://anonradio.net:8443/anonradio #live #liveNow
#climate #haiku https://climatejustice.social/@kentpitman/112913565394948819 @kentpitman and education.

#music #10amusic https://10amusic.bandcamp.com #christchurch #aotearoa #nz

#gopher and friends - @mhd being linked to sunset by @jns

#lisp figuring out images in #mcclim briefly #commonLisp
#softwareIndividuals as pitched by sandewall et al

#unix_surrealism #art @prahou https://lambda.moo.mud.org/

#lambdaMOO using #tinyFugue ??? Meetup in @jlamothe's paradise sushi

Lispy gopher maddy(?) anonradio.net unix underscore surrealism

lambda.moo.mud.org port 8888 (telnet?) of course! @join screwtape! #lambdaMOO

#softwareIndividuals #useage
I have included about 100M of assorted docs and bibliography from #sandewall in the pawn-75 git (does this need a more distinct name?)
a really key one is https://codeberg.org/tfw/pawn-75/src/branch/main/unsrt/very%20useful%20ida.liu.se_ext_caisor_TDDC65_intro-leo_body.html.pdf
} aside from being an extended first order logic for activity calculus (ie sequences of actions with outcomes) the project is an interesting rejection of ASDF (and clos, tbf)

@kentpitman @mxtthxw @prahou

#lispyGopherClimate #archived https://archives.anonradio.net/202407310000_screwtape.mp3
#climate #haiku @kentpitman
https://climatejustice.social/@kentpitman/112874412532497047