#softwareindividuals — Public Fediverse posts

#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

#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.

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?

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?

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?

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?

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 #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 #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 #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 #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.

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/

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

@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

#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

#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

#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

#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

#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

#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

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

#3dPrinting and #love and #fortran (?)

#sandewall #lisp #softwareIndividuals
the #easy #howto edition (of a graduate course in cognitive agents)

#music #thanks @mxtthxw ! https://inpc.bandcamp.com/album/the-assembly-worker-tales-from-the-otherhood

#gopher checking gopher://i-logout.cz (#OCC challenges I guess!)

#Christchurch #nz stuff: Meeting the local uni radio people, amazing community AV room

#unix_surrealism @prahou

Lispy gopher show on https://anonradio.net/ in 25 minutes. Inc about the "here's what to actually do" portion of Sandewall's graduate course (finally) #lisp #softwareIndividuals

I also now understand that #Sandewall's final decades were meticulously planned as always

and I better visit i-logout.cz for the hungry #gopher

meet up in paradise sushi https://lambda.moo.mud.org

It just came to my attention #ErikSandewall recently passed away.
In loving memory.
https://www.ida.liu.se/department/news/2024.en.shtml#283
#lisp #softwareIndividuals #informationScience

@prahou

Disregard:
Okay, my brain has melted. Can anyone at #Franz or in #Sweden maybe particularly at the university of linkoping get me a live link for http://leonardo-gw.ida.liu.se:40094/www/Renius-astmatix.zip . #AllegroCommonLisp #CommonLisp #LISP #SoftwareIndividuals #CognitiveSystems #ErikSandewall .
I of course already found
https://franz.com/success/customer_apps/knowledge_mgmt/leordo.lhtml / http://www.ida.liu.se/ext/leonardo/distro/Pawn-74.zip . I thought there was another piece because I didn't unzip it yet.

Disregard:
Okay, my brain has melted. Can anyone at #Franz or in #Sweden maybe particularly at the university of linkoping get me a live link for http://leonardo-gw.ida.liu.se:40094/www/Renius-astmatix.zip . #AllegroCommonLisp #CommonLisp #LISP #SoftwareIndividuals #CognitiveSystems #ErikSandewall .
I of course already found
https://franz.com/success/customer_apps/knowledge_mgmt/leordo.lhtml / http://www.ida.liu.se/ext/leonardo/distro/Pawn-74.zip . I thought there was another piece because I didn't unzip it yet.

Disregard:
Okay, my brain has melted. Can anyone at #Franz or in #Sweden maybe particularly at the university of linkoping get me a live link for http://leonardo-gw.ida.liu.se:40094/www/Renius-astmatix.zip . #AllegroCommonLisp #CommonLisp #LISP #SoftwareIndividuals #CognitiveSystems #ErikSandewall .
I of course already found
https://franz.com/success/customer_apps/knowledge_mgmt/leordo.lhtml / http://www.ida.liu.se/ext/leonardo/distro/Pawn-74.zip . I thought there was another piece because I didn't unzip it yet.

Disregard:
Okay, my brain has melted. Can anyone at #Franz or in #Sweden maybe particularly at the university of linkoping get me a live link for http://leonardo-gw.ida.liu.se:40094/www/Renius-astmatix.zip . #AllegroCommonLisp #CommonLisp #LISP #SoftwareIndividuals #CognitiveSystems #ErikSandewall .
I of course already found
https://franz.com/success/customer_apps/knowledge_mgmt/leordo.lhtml / http://www.ida.liu.se/ext/leonardo/distro/Pawn-74.zip . I thought there was another piece because I didn't unzip it yet.

Disregard:
Okay, my brain has melted. Can anyone at #Franz or in #Sweden maybe particularly at the university of linkoping get me a live link for http://leonardo-gw.ida.liu.se:40094/www/Renius-astmatix.zip . #AllegroCommonLisp #CommonLisp #LISP #SoftwareIndividuals #CognitiveSystems #ErikSandewall .
I of course already found
https://franz.com/success/customer_apps/knowledge_mgmt/leordo.lhtml / http://www.ida.liu.se/ext/leonardo/distro/Pawn-74.zip . I thought there was another piece because I didn't unzip it yet.