#sandewall — Public Fediverse posts

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?

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

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

#lispyGopherClimate #live #christmas #podcast https://archives.anonradio.net/202412250000_screwtape.mp3
@kentpitman #haiku + underannounced #AI climate costs

#commonlisp #lisp Exciting to have #gamedev #powerhouse @mdhughes https://gitlab.com/mdhughes/mcclim-console https://itch.io/profile/mdhughes
and #mcclim #dev @jackdaniel https://turtleware.eu/
intersecting.

I'm adopting this vintage game terminal + grid for my lisp packages (around my own https://codeberg.org/tfw/lispmoo2 ). Also #Sandewall's #beliefDesireIntent in my own #lispmoo2.

#unix_surrealism

join

#lispyGopherClimate #live #christmas #podcast https://archives.anonradio.net/202412250000_screwtape.mp3
@kentpitman #haiku + underannounced #AI climate costs

#commonlisp #lisp Exciting to have #gamedev #powerhouse @mdhughes https://gitlab.com/mdhughes/mcclim-console https://itch.io/profile/mdhughes
and #mcclim #dev @jackdaniel https://turtleware.eu/
intersecting.

I'm adopting this vintage game terminal + grid for my lisp packages (around my own https://codeberg.org/tfw/lispmoo2 ). Also #Sandewall's #beliefDesireIntent in my own #lispmoo2.

#unix_surrealism

join

#lispyGopherClimate #live #christmas #podcast https://archives.anonradio.net/202412250000_screwtape.mp3
@kentpitman #haiku + underannounced #AI climate costs

#commonlisp #lisp Exciting to have #gamedev #powerhouse @mdhughes https://gitlab.com/mdhughes/mcclim-console https://itch.io/profile/mdhughes
and #mcclim #dev @jackdaniel https://turtleware.eu/
intersecting.

I'm adopting this vintage game terminal + grid for my lisp packages (around my own https://codeberg.org/tfw/lispmoo2 ). Also #Sandewall's #beliefDesireIntent in my own #lispmoo2.

#unix_surrealism

join

#lispyGopherClimate #live #christmas #podcast https://archives.anonradio.net/202412250000_screwtape.mp3
@kentpitman #haiku + underannounced #AI climate costs

#commonlisp #lisp Exciting to have #gamedev #powerhouse @mdhughes https://gitlab.com/mdhughes/mcclim-console https://itch.io/profile/mdhughes
and #mcclim #dev @jackdaniel https://turtleware.eu/
intersecting.

I'm adopting this vintage game terminal + grid for my lisp packages (around my own https://codeberg.org/tfw/lispmoo2 ). Also #Sandewall's #beliefDesireIntent in my own #lispmoo2.

#unix_surrealism

join

#lispyGopherClimate #live #christmas #podcast https://archives.anonradio.net/202412250000_screwtape.mp3
@kentpitman #haiku + underannounced #AI climate costs

#commonlisp #lisp Exciting to have #gamedev #powerhouse @mdhughes https://gitlab.com/mdhughes/mcclim-console https://itch.io/profile/mdhughes
and #mcclim #dev @jackdaniel https://turtleware.eu/
intersecting.

I'm adopting this vintage game terminal + grid for my lisp packages (around my own https://codeberg.org/tfw/lispmoo2 ). Also #Sandewall's #beliefDesireIntent in my own #lispmoo2.

#unix_surrealism

join

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

#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

#lispyGopherClimate https://archives.anonradio.net/202406190000_screwtape.mp3 #archived
#climate #haiku by @kentpitman https://climatejustice.social/@kentpitman/112637058010270934
Native mammalian species Just Dying

#unix_surrealism @prahou show stickers https://www.redbubble.com/people/analognowhere/shop

#music @endolexis <3

#GameDev prototypes finding people <#lisp #lambdaMOO> cc @EMR @kashif @vidak @me
Also https://lispy-gopher-show.itch.io/lisp-game-soft-cons classic robots stroke cellular automata-er

#Sandewall #KnowledgeRepresentation

Attached post will discuss LLM discussion w/warning #gopher