Just learned that the project “Secure Distributed Computing with Graphic Lambda Calculus” will not be funded by NSF.
I read the reviews and my conclusion is that they are well done. The 6 reviewers all make good points and a good job to detect strong points and weaknesses of the project.
Thank you NSF for this fair process. As the readers of this blog know, I don’t have the habit to hide my opinions about bad reviews, which sometimes may be harsh. Seen from this point of view, my thanks look, I hope, even more sincere.
So, what was the project about? Distributed computing, like in the “GLC actors, artificial chemical connectomes, topological issues and knots” arXiv:1312.4333 [cs.DC], which was branded as useful for secure computing. The project has been submitted in Jan to Secure and Trustworthy Cyberspace (SaTC) NSF program.
The point was to get funding which allows the study of the Distributed GLC, which is for the moment fundamental research. There are reasons to believe that distributed GLC may be good for secure computing, principal among them being that GLC (and chemlambda, actually the main focus of research) is not based on the IT paradigm of gates and wires, but instead on something which can be described as signal transduction, see How is different signal transduction from information theory? There is another reason, now described by the words “no semantics“.
But basically, this is not naturally a project in secure computing. It may become one, later, but for the moment the project consists into understanding asynchronous, decentralized computations performed by GLC actors and their biological like behaviour. See What is new in distributed GLC?
Together with Louis Kauffman, we are about to study this, he will present at the ALIFE 14 conference our paper Chemlambda, universality and self-multiplication, arXiv:1403.8046.
There is much more to tell about this, parts were told already here at chorasimilarity.
From this moment I believe that instead of thinking security and secrecy, the project should be open to anybody who wishes to contribute, to use or to criticize. That’s the future anyway.