6 Matching Annotations
  1. Last 7 days
    1. links

      with TrailMarks notation 1 can put anything into the lines in 1's own omnipresent IndyWiki

      The inks themselves are cyc likebut expanded ground atomic formulas with a simple self-formulating extensible homoiconic syntax along with its own auto-poieticmeta-circular bootstrappable

      working "NOTATION PROESSOR" which iteslf is extensibel permanent, evergreen and for-ever co0evolvable

      with full recapitulable history of its verifiably attributed history of it's colaborative history an

      IndyWiki ** as the Maker App for the IndyWeb**

      all concerns are integral and omnioptional, so you will never be locked into a specific conception

      change your mind and change the very machinery that you formulated and re-factor, make holesale changes as understanding grows

      do that with fullintentional transparency and full suppot for turning intentional conceptionalizations into morphic capabilities and affordances as the need arise and it is fleshed out on its way to be REALized

      make it amenable to to the PUN that something that is formulated and fully elaborated in its own explicit terms, language, tool, existing capabilities and methodologies can be deeloped to a software tht is capabile of delivering on the formulated intent

      The whole thing is designed with making radical cahnges easy and cheap.

      This applies to the very means that the notation orchestrates

      Since the interpay between authors rely on exchanges sharing opermanently, irevocably with ful attributon within owned networks of collaborators or audience

      all that is needed to change one thing to another named version

      future proof forward compatiility can be ensured/

  2. Jul 2026
    1. building knowledge that compounds -- and the graph layer is what makes it scale.

      yes but what's in a name, sat's in a link, Are te critical questions

      Cyc was right with atomic formulas for capturing trails

      But instead of trying to create standard, create homiconic ways to create extend revicsse notations that drives the creation of aormulas

  3. Jul 2025
    1. formula

      Hence we need ground atomic incomplete co-evolving formulas

      as in cyc

      need an informal notation to eveolve from intutiive formulations to eventually eplicit coherent, complete consistent potentially eventully effective formlas

  4. Mar 2025
    1. an exercise in large scale knowledge based development

      large scale knowledge base

      cyc was right in proposing that ground atomic formulas can capture a lot of knowledge

      empower humans to use a notation that has that power

      that's TrailMarks or Clue Marks or IntentMarks are all about

      for Opidox Intentional clueful Mark in notaions and innotations

  5. Oct 2024
    1. some ground atomic formula which is just a the name of a relation and a few arguments and so on and so converting commonly occurring types or schemas of rules into brand new predicates brand new functions turns out to enormously speed up the inference process

      Description Description one of the most important 150 good ideas in Cyc

      the secret source/souce behind TrailMarks

      but instead of doing it in a closed system open it to the entire web, the Flipped Web, the IndyWeb so that people can weave their Own(ed) born multiplayer collaborative personal first indranet.work spaces

      so that we can find the Other and toGether Gather what we need when we need them to make sense of the world and act with CARE

      realizing Matt Saiia#s dream world

      and doing the job of really making better Maps understanding then Nets frontier

      as Engelbart challenged Gooegle when he said

      https://hypothes.is/a/9_SmgCDKEeuXxO8mN5IZmA

      Google might be proudly say okay we're doing a lot to help people find things out on that front error and okay but then who's 00:17:43 doing the job of really making better Maps understanding the frontier

      https://www.youtube.com/clip/Ugkxl0MlTULCcBksvouYsJBcpJfLinFUjOcm