#leonardoCalculus #Sandewall #programming #objectOriented #simulation #lisp #commonLisp

I feel like this article is one of those moments that is a monumental achievement for the writer themselves, but precedes adding glitzy picture making (which will eventually come too).

If you remember, I was recapitulating my somewhat failed #lispgamejam #gamedev . This time and in about half a week just now - I got the plant/insect/bird Breitenbergian Vehicle simulation workin'.

https://screwlisp.small-web.org/lispgames/LCKR-completing-the-simulation/

#programming #formal #ontology #lisp #Sandewall #knowledgeRepresentation #article #leonardoCalculus

Leonardo Calculus Knowledge Representation: Fleshing out organism’s attributes

Adding attributes to the organism type (plant, insect and bird are all subsumed-by organism). I also add a coelacanth of type organism to a world entityfile. In my view, quite a good and informational/instructional article if I do say so. What do you think?

https://screwlisp.small-web.org/lispgames/LCKR-fleshing-out-organisms-attributes/

Leonardo Calculus Knowledge Representation: Fleshing out organism’s attributes

#programming #systemsProgramming #software #commonLisp #sitcalc #emacs #eepitch

https://screwlisp.small-web.org/complex/my-eepitch-send-actions-and-the-situation-calculus/

I relate #Sandewall's call for situation calculus actions and the shared environment / database to be moved into the kernel viz my #literateProgramming emacs useage.

People always said emacs /was/ the operatingsystem, didn't they.

Particularly, computer programs various send requests for actions to the emacs server where they are also seen playing out at they actually happen in real time.

My eepitch-send, actions and the situation calculus

#programming #softwareEngineering #computerHistory #bibliography #Sandewall #softwareIndividuals #LISP #CAISOR
https://screwlisp.small-web.org/complex/Sandewall-caisor-bibliography/

My promised bibliography of open-access CAISOR #AI articles from the 1960s-2010s. Each citation links into https://codeberg.org/tfw/pawn-75 's collected oddities. Because I focused on preserving rarities such as draft versions of papers from the 60s and a single sentence article with JOHN overwrote onto it, my collection should be regarded as a primary archive.

Sandewall’s Combined Agenda for Information Analysis, Software Systems, Open-Access Publishing and Knowledge Representation bibliography and links

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?

Eduardo Ochs - Academic Research - Categorical Semantics, Downcasing Types, Skeletons of Proofs, and a bit of Non-Standard Analysis

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

pawn-75

Fork of Sandewall's Pawn-74.zip

Codeberg.org
Working on my #Sandewall Pawn-75 again. You know, I didn't even have the three finished AICA books in the git. And crek didn't work out of the box, which I can imagine stymying all your enthusiastic contributions ;p. It's a simple patch (well, I will just change them to ENSURE-DIRECTORIES-EXIST instead of the evidently broken MKDIR. https://codeberg.org/tfw/pawn-75
pawn-75

Fork of Sandewall's Pawn-74.zip

Codeberg.org

Hey everyone, #liveNow in a minute
https://live0.emacsconf.org/dev-480p.webm
#archive https://emacsconf.org/2024/talks/mcclim/

Thanks to @sacha

my #emacsconf talk on #commonLisp #mcclim #slime in #emacs

themed around #Sandewall's 1978 The Lisp Demo Program is happening.

Live Q&A after pre-rec.
Stream:

I'll be in Paradise sushi in #lambdaMOO for questions, and answer them in the bigbluebutton room for the talk I am going to hopefully find a link for in a moment!

https://emacsconf.org/2024/talks/mcclim/

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

pawn-75/unsrt/very useful ida.liu.se_ext_caisor_TDDC65_intro-leo_body.html.pdf at main

pawn-75 - Fork of Sandewall's Pawn-74.zip

Codeberg.org