Blockchain categoricitis

The following conditions predispose you to categoricitis and this can be very bad for your savings:

  • baby boomer
  • you were a programmer once or you made money from that
  • you are a known researcher but your last original idea was last century
  • interested in pop science
  • you think an explanation by words can be shorter than one by mathematics
  • don’t know mathematics at the researcher level
  • you think you’re smart
  • you are all about internet, decentralization and blockchains
  • you believe in ether or may have pet alternative theories about the universe
  • you are not averse to a slight cheating, if this is backed by solid institutions or people.

More of these conditions present, more are you at risk.

(If you work in the money business then you are immune. For you, those people with categoricitis are a golden opportunity.)

The most dangerous is when you feel the need to be blockchain cool, but you missed the Bitcoin train. Your categoricitis is then grabbing you, making you smell like money. You feel the need to invest. Hey, what’s the problem? Is backed by math, banks and M$.

You’ll be relieved rather sooner than later 🙂


The “Chemlambda for the people” PM

Let’s have some fun with the release of the original recording of the talk rehearsal “Chemlambda for the people”. I’ve told the story in this post, you can see the slides I used here (needs js!).

The rehearsal took approx 31 min with discussions, so I split the original mp4 into 3 parts, video and sound as they were.





A question about binary trees

I need help to identify where does appear the following algebra of trees.

We start with the set of binary trees:

  • the root I is a tree
  • if A and B are trees then AB is the tree which is obtained from A and B by adding o the root I the LEFT child A and the RIGHT child B

We think therefore about oriented binary trees, so that any node which is not a leaf has two childs, called the left and the right child.

On the set of these binary trees we define two operations:

  • a 1-ary operation denoted by a *
  • a 2-ary operation denoted by a little circle

The operations are defined recursively, as in the following picture:


I am very interested to learn about the appearance of this algebra somewhere. My guess is that this algebra has been studied. For the moment I don’t have any information about this and I kindly request for help.

If not, what can be said about it? It is easy to see that the root is a neutral element for the operation “small circle”. Probably the operation “small circle” is associative, however this is less clear than I first thought.

If you think this structure is too dry to be interesting, then just try it, take examples and see what gives. How much does it take to compute the result of an operation, etc…

Thank you for help, if any!



Creepy places to be

Google is creepy. Facebook, I heard is creepy. Maybe you don’t know yet but Firefox is creepy. Twitter is a creepy bad joke. Hacker News is creepy by omission, if that matters to anybody.

If you want to talk then mail me at one of the addresses down the first page of this article.  Or open an issue at one of my repositories. Or come see me. Or let me see you.

See you 🙂


Chemlambda strings

I uploaded Chemlambda strings at Figshare.

“Chemlambda is an asynchronous graph rewrite automaton which uses a carefully selected family of graph rewrites of the kind encountered in Interaction Nets (IN). In this article is given a version of the graphs and rewrites which is more chemistry friendly. It is argued that real chemistry has enough place for accomodating chemlambda. The use of IN rewrite patterns in real chemistry, as templates of concrete chemical reactions, is an unexplored direction towards molecular computers. The simulations which validate chemlambda as a toy chemistry show that there is a big potential in this direction.”

The article is paired with the needs repository.  Look down the first page of the article for contact mail.

So what’s new with respect to chemlambda?

1. It is conservative. I said previously that it can be done, but here is the proof now.

2. It is open to vast generalization. I explained previously that there is not much lambda in chemlambda, as a proof see Turing machines, chemlambda style. Now it has the form (can be easily put into the form) of a permutation automaton. A permutation automaton is simply a program which takes as input a (maybe huge) permutation, probably with decorations on it (i.e. is a permutation of some big set, specified, not only a permutation of 1, …, N) and then it applies (randomly) pre-defined templates of permutations, whenever it detects a pattern into the permutation and moreover the random number generator produces an output of a certain difficulty 🙂

3. The paired needs repository contains already the main program. You can figure out how it functions, even if I have not added yet the functions libraries.

4. It is chemically friendly… Read the article.


Why chemlambda strings?

Because now we think about chemlambda molecules as being made by lists with sticky ends. These are the strings.

Each list (string) has two ends. So if there are N strings, then there are 2N nodes (ends of strings) and 3N edges. An edge is given by the fact that every list end appears in another list (interior).

Attention, it is not forbidden (actually happens, but not for graphs associated to lambda terms)  to also have loops. A loop is a list which you take and cut it’s start and end then you glue it back.

So if you take such a structure then you shall have a succ and pred functions, as well as a function gamma which taked a list end and gives you the list end place into another list.

For simplicity one can duplicate the nodes (so that now we have 4N nodes instead of 2N) and think about gamma as connecting the node which is an end of a list with the node which is an element of another (or the same) list.

Tell me if that rings a bell to you!


What I expect from 2018 (to be updated at the end of 2018)

In the About section I wrote: “This blog contains ideas from the future”. Well let me look into my crystal ball. Then, at the end of 2018 I shall update this post and compare.

This is about stuff I expect to do in 2018, and stuff I expect to happen in 2018, or even things I hope to happen in 2018.

Before that a short review of what I think is significant to remember at the end of 2017.

  • all soft and hard is wrecked beyond any paranoid dream. There is nothing we can trust. Trust does not exist any more, as an effect.
  • in particular there is no trust in deterministic randomness 😉 so boy, how safe are your bitcoins…
  • all corporate Net is dead for the few intelligent people, but in the same time many discover the Net today and they love it! It is the new TV, don’t tell me that you expect from TV to be interactive. You hold the remote, but otherwise you “Got thirteen channels of shit on the T.V. to choose from“.
  • corporate Net is hands in in hands with the legacy publishers, because of a simple reason: science brings authority, so you don’t mess with science dissemination. If you mess with it then you question authority, or in this human world there is nothing else than authority which keeps things going as expected.

Now, what I expect to do in 2018:

  • write articles in the classic arXiv style, short if possible, with programs repositories if possible (projected: NN, space, thermodynamics, engineering, computing)
  • if these articles (on new subjects! or on older subjects but with new techniques) make wou want to change the world to gether then I exist in the meatspace, 3d version and I welcome you to visit me or me to visit you, all else is futile
  • shall do mostly mathematics, but you know the thing about mathematics…

What I expect to happen in 2018:

  • the Net will turn in TV completely
  • “content creators”, i.e. those morons who produce the lowest possible quality (lack of) content for TV and cinema, will be fucked by big data. It is enough to get all the raw cinema footage and some NN magic in order to deliver, on individual demand, content better than anything those media professional morons can deliver. And of course much cheaper, therefore…
  • I expect a big fat nice money bubble to burst, because money laundering is a fundamental part of the actual economy

What I hope to happen in 2018:

  •  new hardware
  • real meatspace randomness devices
  • more distributed automata (like bitcoin) to suck up the economy
  • diversification, because not anybody can be among the handful of deep state corporate beings.

OK, what do you think? Lay here your forecast, if you wish… or dare.

computing with space | open notebook


computing with space | open notebook


The Decentralised Internet is Here


An experimental 3d voxel rendering algorithm

Gödel's Lost Letter and P=NP

a personal view of the theory of computation

%d bloggers like this: