[ivan.moony]

After a lot of theorizing, finally something concrete from my lab: Exp-Log's little brother, "Rewrite" is marked ready for production use. While Exp-Log is aiming to optimize and tame the order of rule application, Rewrite practice more of a minimalist setup, where rules are applied in strict top-to-bottom order. In fact, I liked this minimalism so much that I decided to make a version of Rewrite ready for production use. Today, after two months of coding struggle, I finally uploaded the production version to dedicated GitHub project home page.

Rewrite may be used as a curiosity computing platform, formula application system, proof checker, problem solver, and pretty much anywhere where any kind of computation is required, as long as slower performance on intensive computations doesn't go beyond limits of user patience.

You can try it in online playground here: https://contrast-zone.github.io/rewrite/playground/index.html. Provided examples include some introductory material, equality predicate, branching choice, Boolean calculator, proof checking, SAT solver, and action planning, while users are invited to experiment with their own code designs (you may want to use an external editor with bracket matching for this purpose).

The project official home page with instructions is here: https://github.com/contrast-zone/rewrite.

Have fun!

[MagnusWootton]

I'm more of a type to think to use the rules is greater than making the rules,  when it comes to symbolic a.i.

Thats why I should download it!! 

I went to your page,  and it uses s-expressions,   does s stand for string?

[ivan.moony]

I went to your page,  and it uses s-expressions,   does s stand for string?

The s in s-expression stands for symbolic. See the wiki

[ivan.moony]

During writing examples for Rewrite, in wolf-goat-cabbage session, I found myself debugging the example, just like you do in any other programming language. That moment felt great!

[MagnusWootton]

I understand that,   a new paradigm is alot of fun.

So, is all your work a secret, cause I dont hear whats going on really with u?   unless Im being fully ignorant,  clouded by my pathetic small mind that wishes he was the one that did things that others couldnt.

The coolest thing I can think of to do, is some super optimization for super advanced neural network weight training.
If you get that going, it would possibly change all the world.    And would cause a singularity for sure.  (The singing banana.)

[ivan.moony]

I'm more of a passive watcher. I don't really want to do big things. I want to do simple things, and see what happens.

[MagnusWootton]

Why am I into AI???   I thought it would be a good thing to put on your resume'   (even tho its a little fancier than that even!!!)