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:

243
active users

#gofai

0 posts0 participants0 posts today
vintage screwlisp account<p><a href="https://mastodon.sdf.org/tags/UI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UI</span></a> <a href="https://mastodon.sdf.org/tags/HCI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HCI</span></a> <a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> aitch, see I have a point about the <a href="https://mastodon.sdf.org/tags/useability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>useability</span></a> discussions from cognitive <a href="https://mastodon.sdf.org/tags/gofai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gofai</span></a> good-old-fashioned-ai from Sandewall because honestly who else are you expecting me to paraphrase.</p><p>We want computer programs to be smart in the same way humans are smart, but the way we make computer programs use computers is very different to how humans use computers in the first place.</p><p>The idea would be that both computer programs and humans should use literally the same expert systems.</p>
vintage screwlisp account<p><span class="h-card"><a href="https://social.sdf.org/@rat" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>rat</span></a></span> though because I was concerned that showing people that /I/ figured out how to do something was not having that high transmission to /others/ also happily doing those things when they want to. Whence my sojourn back to software individuals. If I can teach a software individual of mine to do something, you can do the same thing I did to teach your software individual, then when you want that your software individual is the one who knows how to do the thing if that makes sense. <a href="https://mastodon.sdf.org/tags/GOFAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GOFAI</span></a></p>
vintage screwlisp account<p><a href="https://mastodon.sdf.org/tags/lispyGopherClimate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lispyGopherClimate</span></a> <a href="https://mastodon.sdf.org/tags/technology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>technology</span></a> <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.sdf.org/tags/podcast" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>podcast</span></a> <a href="https://mastodon.sdf.org/tags/tomorrow" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tomorrow</span></a> </p><p>Okay, tomorrow I'm just going to present where I kinda suddenly got to this past week with Sandewall's <a href="https://mastodon.sdf.org/tags/Leonardo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Leonardo</span></a> <a href="https://mastodon.sdf.org/tags/SoftwareIndividuals" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareIndividuals</span></a>, which is quite far really.</p><p>These are basically the most advanced point cognitive good-old-fashioned-a-i got to in my opinion, concluding with Sandewall's 2 unpublished open access books in 2014. <a href="https://mastodon.sdf.org/tags/gofai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gofai</span></a> <a href="https://mastodon.sdf.org/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a> <a href="https://mastodon.sdf.org/tags/cai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cai</span></a> </p><p><a href="https://codeberg.org/tfw/pawn-75" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">codeberg.org/tfw/pawn-75</span><span class="invisible"></span></a></p><p>If anyone wants to join the call for whatever topic, let me know.</p>
Lispy Gopher Climate w/screwlisp<p><strong>breaking-the-complexity-barrier-again-again #lisp #podcast #ai #programming feat. yduJ Kent Pitman MDhughes Doug Merritt</strong></p> <p><a href="https://communitymedia.video/videos/watch/2486819f-dbd4-40c0-9d54-416cfc85fd23" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">communitymedia.video/videos/wa</span><span class="invisible">tch/2486819f-dbd4-40c0-9d54-416cfc85fd23</span></a></p>
Hobson Lane<p>If you like estimates of which <a href="https://mstdn.social/tags/technology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>technology</span></a> R&amp;D approaches are likely to succeed, or interested in where <a href="https://mstdn.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> is headed, you might enjoy this Metaculus question. Open for comment now &amp; prediction in 2 days. Resolves in Dec.</p><p>"Will conventional pre-<a href="https://mstdn.social/tags/LLM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLM</span></a> <a href="https://mstdn.social/tags/GOFAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GOFAI</span></a> (graph search, tree search, game play or symbolic logic) be a part of the top-ranked AI in the 2024 Abstraction &amp; <a href="https://mstdn.social/tags/Reasoning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Reasoning</span></a> Corpus (<a href="https://mstdn.social/tags/ARC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ARC</span></a>) competition?"</p><p><a href="https://www.metaculus.com/questions/28655/will-gofai-be-a-part-of-the-arc-prize-winner/#comment-194423" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">metaculus.com/questions/28655/</span><span class="invisible">will-gofai-be-a-part-of-the-arc-prize-winner/#comment-194423</span></a></p><p><a href="https://mstdn.social/tags/Metaculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Metaculus</span></a> is a nonmonetary (<a href="https://mstdn.social/tags/karma" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>karma</span></a>-based) <a href="https://mstdn.social/tags/PredictionMarket" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PredictionMarket</span></a>.</p>
Hobson Lane<p>Mind blown by Paul Lessard's explanation of how <a href="https://mstdn.social/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a> applies to <a href="https://mstdn.social/tags/DeepLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DeepLearning</span></a>, on <a href="https://mstdn.social/tags/MLST" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MLST</span></a> (<a href="https://mstdn.social/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> Street Talk podcast). The extra level of abstraction of CT gives you a "Lego set for the universe" (and <a href="https://mstdn.social/tags/AGI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AGI</span></a>).</p><p>Glad the <a href="https://mstdn.social/tags/EA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EA</span></a> folks are still thinking about this stuff and starting to be a bit more sceptical about <a href="https://mstdn.social/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a>, recognizing that LLMs need to be augmented with <a href="https://mstdn.social/tags/GOFAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GOFAI</span></a>, like <a href="https://oval.cs.stanford.edu" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">oval.cs.stanford.edu</span><span class="invisible"></span></a> &amp; <a href="https://symbolica.ai" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">symbolica.ai</span><span class="invisible"></span></a></p>
Erik Jonker<p>There is more than LLMs, transformers and generative AI. Sometimes the discussion about AI seems to be very narrow. Don't forget there are many other machine learning technologies available like neural nets, decision trees, SVM etc. I especially like Lecun's V-JEPA as far as i can understand it.<br>Personally i think the way ahead lies in combining various approaches, which is already happening i think.<br><a href="https://ai.meta.com/blog/v-jepa-yann-lecun-ai-model-video-joint-embedding-predictive-architecture/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ai.meta.com/blog/v-jepa-yann-l</span><span class="invisible">ecun-ai-model-video-joint-embedding-predictive-architecture/</span></a><br><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/LLM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLM</span></a> <a href="https://mastodon.social/tags/generativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generativeAI</span></a> <a href="https://mastodon.social/tags/GOFAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GOFAI</span></a> <a href="https://mastodon.social/tags/V" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>V</span></a>-JEPA <a href="https://mastodon.social/tags/Lecun" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lecun</span></a></p>
Hobson Lane<p>Anyone forming a team for this OSSF funded competition (2 yr $20M in prizes)? </p><p> <a href="https://aicyberchallenge.com/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">aicyberchallenge.com/</span><span class="invisible"></span></a></p><p>Teams will need <a href="https://mstdn.social/tags/NLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NLP</span></a>, <a href="https://mstdn.social/tags/CyberSecurity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CyberSecurity</span></a>, <a href="https://mstdn.social/tags/StaticAnalysis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StaticAnalysis</span></a> and <a href="https://mstdn.social/tags/Compiler" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Compiler</span></a> expertise. Maybe <a href="https://mstdn.social/tags/OpenSource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenSource</span></a> project and community management experience would help too. This will likely hinge on <a href="https://mstdn.social/tags/GOFAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GOFAI</span></a> algorithms like A* search, and graph querying (<a href="https://mstdn.social/tags/AST" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AST</span></a> walking). If you've written a linter you probably have the right stuff.</p>