MARIUS BULIGA

(home)       (OA articles & data)

for most pages is suggested to read the source files!

( kali24, anharmonic lambda version) is a version of anharmonic lambda wich works better than kali, but goes beyond 6 nodes, here are used 7 (mind that if you look at the rewrites in kali24.js, you'll see the node previously denoted by "FO" as "FOX", and the new node has the name "FO"; this is for compatibility with the mol files and notations used until now). Regarding the new node, is not yet clear to me if it is justified as one of the full 24 nodes allowed from projective considerations, or is it justified by the fact that there is a kernel of the decorations used, where we can use a single generic point in projective space to decorate all edges of a graph.

Quine graphs: (Interaction Combinators & Chemlambda quines) (The Ouroboros)

older:

(lambda terms playground) for a version of chemlambda v2 with 6 3-valent nodes.

(find quines in chemlambda OR in interaction combinators) initial, local version

(older version of the ouroboros) initial, local version

(more quines and random eggs)

(fractalize!)

(feed the quine!) use ">>" only few seconds with the claudia_starmaker. On the contrary, for psychedelic effects use ">>" a lot with the ouroboros.

(kali, or anharmonic lambda) needs fiddling, works partially, the termination rewrites still unclear. Perhaps the full projective 24 nodes version is the one to be tried.

The problematic duplication of \x.((\y.yy)(xx)) (with hapax) or (with chemlambda), answers a question by ishanpm, which tests the limits of chemlambda (randomized algorithm) ability to do lambda calculus reductions.

(chemlambda and hapax)

(Ackermann(2,2) with hapax) (ἄπαξ χέων means "poured only once")

(artificial physics for artificial chemistry)

( 14400 random alternatives to the β rewrite)

(β-token) for illustration purposes, this is how the β rewrite looks in hapax.

just for fun

(chemlambda collection samples)

(the gutenberg-net analogy calculator)

content licensed (CC BY 4.0) unless otherwise specified