#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

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