shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

269
active users

#knowledgerepresentation

0 posts0 participants0 posts today
screwlisp<p><a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://gamerplus.org/tags/knowledgeRepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgeRepresentation</span></a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://gamerplus.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamedev</span></a> <a href="https://gamerplus.org/tags/devlog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devlog</span></a> <a href="https://gamerplus.org/tags/retrospective" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>retrospective</span></a> </p><p>sharpsign</p><p>my kitten is alive (ask the cat - Heinlein)</p><p><a href="https://screwlisp.small-web.org/lispgames/games-as-knowledge/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/lispga</span><span class="invisible">mes/games-as-knowledge/</span></a></p><p>this one has the least gremlins. Since my game was an hour of a dandelion-random-walk-through-a-field the retrospective is also literally the code I evaluated. I'm going to continue /here/ with a sort of separate retrospective retrospective retrospective.</p><p>What I /exposed/ in my agent relevant to the game experience were:<br> 1/?</p>
screwlisp<p><a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://gamerplus.org/tags/rough" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rough</span></a> <a href="https://gamerplus.org/tags/lispgamejam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lispgamejam</span></a> <a href="https://gamerplus.org/tags/knowledgeRepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgeRepresentation</span></a> <a href="https://gamerplus.org/tags/submission" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>submission</span></a> my kitten seems not to be out to play today, but codeberg renders markdown anyway<br><a href="https://codeberg.org/tfw/screwlisps-kitten/src/branch/main/lispgames/last-five-hours-lispgame.page.md" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">codeberg.org/tfw/screwlisps-ki</span><span class="invisible">tten/src/branch/main/lispgames/last-five-hours-lispgame.page.md</span></a></p><p>Basically instead of spending a week on lispgamejam I spend two hours (starting two hours ago) resulting in this document, which is mostly things I learned personally about using my <a href="https://codeberg.org/tfw/pawn-75" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">codeberg.org/tfw/pawn-75</span><span class="invisible"></span></a> (nee Sandewall).</p><p>ascii daises growing in a random walk! But in a very knowledge-y way.</p>
screwlisp<p><a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://gamerplus.org/tags/knowledgeRepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgeRepresentation</span></a> <a href="https://gamerplus.org/tags/engineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>engineering</span></a> <a href="https://gamerplus.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamedev</span></a> <a href="https://gamerplus.org/tags/lispgamejam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lispgamejam</span></a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://screwlisp.small-web.org/programming/intro-software-individuals-knowledgebases/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/progra</span><span class="invisible">mming/intro-software-individuals-knowledgebases/</span></a> <br>in which I introduce creating knowledgebases in my <a href="https://gamerplus.org/tags/softwareIndividuals" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareIndividuals</span></a> in a brief and heartwarming way. I put a new value in the entity inside the knowledgebase defining the knowledgebase to add a dependency to another knowledgebase. <a href="https://gamerplus.org/tags/intro" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>intro</span></a> <a href="https://gamerplus.org/tags/demo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>demo</span></a> </p><p>Birds were removed from plants+insects+birds for time budget reasons.</p><p><span class="h-card" translate="no"><a href="https://ciberlandia.pt/@shizamura" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>shizamura</span></a></span> how far afield is my useage from what you do srsly?</p>
vintage screwlisp account<p>Interview postponed / let's just talk about <a href="https://mastodon.sdf.org/tags/types" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>types</span></a> and <a href="https://mastodon.sdf.org/tags/typing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typing</span></a> today's show on <span class="h-card"><a href="https://mathstodon.xyz/@dougmerritt" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>dougmerritt</span></a></span> and <span class="h-card"><a href="https://ieji.de/@vnikolov" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>vnikolov</span></a></span> 's suggestion below.</p><p>(I'll speak a little bit to <a href="https://mastodon.sdf.org/tags/Sandewall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sandewall</span></a> 's <a href="https://mastodon.sdf.org/tags/SoftwareIndividuals" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareIndividuals</span></a> <a href="https://mastodon.sdf.org/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgerepresentation</span></a> </p><p>If anyone knows anything about <a href="https://mastodon.sdf.org/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typetheory</span></a>, that would be great. </p><p><a href="https://anggtwu.net/math-b.html" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">anggtwu.net/math-b.html</span><span class="invisible"></span></a><br><a href="https://www.hanselman.com/blog/stringly-typed-vs-strongly-typed" rel="nofollow noopener" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">hanselman.com/blog/stringly-ty</span><span class="invisible">ped-vs-strongly-typed</span></a><br><a href="https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blogs.perl.org/users/ovid/2010</span><span class="invisible">/08/what-to-know-before-debating-type-systems.html</span></a><br>type links welcome</p><p>and <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> </p><p><span class="h-card"><a href="https://ciberlandia.pt/@shizamura" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>shizamura</span></a></span> possibly you can explain types of OWL to us instead of sleeping?</p>
vintage screwlisp account<p><a href="https://mastodon.sdf.org/tags/emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>emacs</span></a> <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.sdf.org/tags/technology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>technology</span></a> <a href="https://mastodon.sdf.org/tags/blog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>blog</span></a> <a href="https://screw-lisp.statichost.eu/emacs/swankful-software-individuals.html" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screw-lisp.statichost.eu/emacs</span><span class="invisible">/swankful-software-individuals.html</span></a> <a href="https://mastodon.sdf.org/tags/softwareIndividuals" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareIndividuals</span></a> <a href="https://mastodon.sdf.org/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgerepresentation</span></a> </p><p>Teaching my Screwlispbot softwareindividual how to l̶o̶v̶e use emacs via <a href="https://mastodon.sdf.org/tags/commonlisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonlisp</span></a> slime swank.<br><a href="https://screw-lisp.statichost.eu/" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">screw-lisp.statichost.eu/</span><span class="invisible"></span></a></p><p>Quite a lot of commentary on using-emacs-at-all.</p><p>Comments, thoughts, criticisms, website advice sought.</p>
Harald Sack<p>What does it mean "to know" something? Have you ever thought about it? We tried to make our students think about it in this week's first <a href="https://sigmoid.social/tags/ise2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ise2025</span></a> lecture.</p><p><a href="https://sigmoid.social/tags/kit200" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>kit200</span></a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lecture</span></a> <a href="https://sigmoid.social/tags/knowledge" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledge</span></a> <a href="https://sigmoid.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philosophy</span></a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgerepresentation</span></a> <a href="https://sigmoid.social/tags/understanding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>understanding</span></a> <a href="https://sigmoid.social/tags/semweb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>semweb</span></a> <a href="https://sigmoid.social/tags/knowledgegraph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgegraph</span></a> <a href="https://sigmoid.social/tags/nlp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nlp</span></a> <span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>fiz_karlsruhe</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>fizise</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@enorouzi" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>enorouzi</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>sourisnumerique</span></a></span></p>
Lispy Gopher Climate w/screwlisp<p><strong>#knowledgeRepresentation #programming #agents #software Braidenburg's Vehicles #lispygopherclimate</strong></p> <p><a href="https://communitymedia.video/videos/watch/88909de0-642c-4ad5-a01e-7a52a1965cbc" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">communitymedia.video/videos/wa</span><span class="invisible">tch/88909de0-642c-4ad5-a01e-7a52a1965cbc</span></a></p>

#introductions
Hi everyone,
I just moved my account...

I'm a German ecologist who loves to team up with #computersciences #arts #design #philosophy #EnvironmentalEthics

I am concerned about the #biodiversitycrisis and co-founded the NGO Symbio(s)cene (symbioscene.com/), an #ArtsAndSciences collaboration creating #visions for moving beyond the #anthropocene.

My current #research is about #KnowledgeRepresentation working towards an #AtlasOfKnowledge

👋

symbioscene.comSymbioscene – Arts & Sciences Collaboration

#introductions
Hi everyone,

I'm a German ecologist who loves to team up with e.g. #computersciences #arts #design #philosophy #EnvironmentalEthics
I am very concerned about the #biodiversitycrisis and therefore co-founded the NGO Symbio(s)cene (symbioscene.com/) as an #ArtsAndSciences collaboration, creating #visions for moving beyond the #anthropocene.

My current research is about #KnowledgeRepresentation working towards an #AtlasOfKnowledge

👋

symbioscene.comSymbioscene – Arts & Sciences Collaboration

re-#introduction as a scientist 👨‍🔬

Training: #Mecatronics + #ElectricalEngineering

Specialization: Nonlinear #ControlTheory #MachineLearning and #KnowledgeRepresentation

Long term mission: The knowledge to solve any problem in the world might be hidden in scattered PDF files that are barely read. I want to contribute to the improvement of this unsatisfactory situation, especially in the (partly overlapping) domains of #engineering and #sustainability

Also: Teaching #Python :python:

1/2

Hi, let me give you a short #introduction to my research interests. I am Ulrich or Uli ( for those who know me longer). I got interested in #ArtificialIntelligence during my study of #ComputerScience back to the 1980ies. At that time, researchers wanted to build #AI systems that use a world model to make decisions. This poses challenges for #KnowledgeRepresentation, #ConstraintSolving, #ExplanationGeneration, #PreferenceModeling, and #DefeasibleReasoning. They keep me inquiring and studying!