#softwareindividuals — 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?

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

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

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

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

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

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

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

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

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

#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

#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

#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

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

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

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

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

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.