We haven't really been thinking about marketing or developing MeTTa as a broad-scope programming language, rather we've been thinking about it
-- as a language for scripting neural-symbolic, symbolic, evolutionary, and other sorts of hybrid cognitive architectures and AGI systems -- as a smart contract language -- as a framework for creating DSLs, especially those that need to operate in a secure and/or decentralized setting (e.g. domain-specific smart contract languages) Integration w/ other already-popular and "easier" languages like python and Rust is being prioritized to a significant degree, at least at this stage, rather than development of MeTTa as mostly a standalone software development framework... We are also already ofc looking at use of LLMs for mapping natural language into MeTTa (initially in the "AI-DSL" context of using NL to describe tasks and having an LLM translate this into MeTTa code for combining together multiple existing software agents (on SingularityNET platform) to execute these tasks...). The ability to go from NL to MeTTa may to some extent overcome the obstacle of MeTTa being too abstract for most programmers to handle. We are entering into an era where the number of software developers who need to actually. master programming language syntax will rapidly become smaller and smaller... BTW unlike with most weird functional/logical programming languages we are attempting to be aggressive about scalability from the start. The collaboration w/ Greg Meredith's group is proving potentially very interesting in terms of getting to a high-speed compilation and execution process for MeTTa... we are looking at compiling MeTTa to Rholang and getting a major speedup that way (largely due to efficient use of multiple cores and threads), and then mapping rholang to hypervectors which can be very efficiently manipulated on the GSI APU chip, and getting major additional speedup that way. There is also some work underway on a custom processor-in-memory chip for MeTTa pattern matching but that is still at the simulation-modeling stage... Rough timeline is we hope to have Hyperon alpha version by March 2024 or so.... this won't include all this fancy Rholang--based acceleration but potentially some of it... it should also include integration of the local Hyperon stuff w/ Distributed Atomspace (currently back-ending on Mongo+Redis) ... Once the alpha is launched it will be the time to start aggressively building an OSS dev (and research) community around Hyperon, I think... Experimenting with some genomics-oriented reasoning, and dialogue systems for robots + avatars, as among the early experimental use-cases for all this... Fun times, eh? ;-) -- Ben On Fri, Sep 15, 2023 at 7:23 AM Ivan V. <[email protected]> wrote: > > Hi Adam, > > As I understand, Verse lang is something like MeTTa without AtomSpace. > Considering that difference, probably an integration of lang and database may > bring some benefits, as with performance, so with integration simplicity > presented to end users. > > Probably the market that MeTTa can potentially cover is practically anything > related to computation. But also probably, that may not be the best way to > promote the product, as the agenda message may disperse too much without the > clear designation to this or that task. So, I believe that an important > question may be what piece of the existing market to claim with MeTTa, or > even what new kind of market to create and conquer. > > Regards, > ivan > > pet, 15. ruj 2023. u 15:48 Adam Vandervorst <[email protected]> > napisao je: >> >> Hi Ivan, >> >> >> From a non-deterministic distributed programming language with unification >> angle, my guess would be the Verse programming language >> (https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf). >> >> >> Best, >> Adam >> >> Op vr 15 sep. 2023 16:37 schreef Ivan V. <[email protected]>: >>> >>> Hi all, >>> >>> Will MeTTa have any competitors? If it will, who will they be, and what >>> will MeTTa do to outperform them? >>> >>> All well, >>> ivan >>> >>> -- >>> You received this message because you are subscribed to the Google Groups >>> "opencog" group. >>> To unsubscribe from this group and stop receiving emails from it, send an >>> email to [email protected]. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/opencog/9fda4668-5041-4a94-bdd2-b69441090614n%40googlegroups.com. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "opencog" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/opencog/CAHxQD9i42M7P1_3Wxg4zWu3Hg-O3pHJWdCmuhyzhbynCt-m1%3Dw%40mail.gmail.com. > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/CAB5%3Dj6WxXH2Ab7dduHj3q0F2vR56%2BJLQZvBNcHLbNCBAv0L6hw%40mail.gmail.com. -- Ben Goertzel, PhD [email protected] "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CACYTDBeHJomQS3VynFdeUYXCrh%2BRG%2BzrE9%2BEGjt7LC-J55D7EQ%40mail.gmail.com.
