NodixBlockchain

> @keean > > > @shelby3 When I searced for issues, it seems they normally restore deleted stuff, next day for some people, but they say they are responding more...

> @Ichoran To summarise my comments on how we could do better than Rust, I think lifetime erasure is a problem in Rust. I propose a system that uses reference...

> @NodixBlockchain > > > > @keean > > > > @shelby3 When I searced for issues, it seems they normally restore deleted stuff, next day for some people, but...

hello :) I found out as well it has a connection with physics, even if that was not what i was seeking in the first place. I could talk to...

For those interested, i found the abstraction i was looking for in stepanov book 'elements of programming', he calls this 'coordinated structure' and gets into all the points i'm searching,...

Yes there are all the algorithm to find isomorphism between "coordinated structures" and all those, couldn't find much reference to this term in the context of programming outside of stepanov...

https://youtu.be/2RMXujk5AhM?t=1543 Gerald Edelman - Brain Dynamics to Consciousness (Full Lecture) the kind of theory i'm into :)

> I just found this issue, thank you for interest. There is now a new page of experiments and technical notes on chemlambda: https://chemlambda.github.io/index.html > which I hope can answer...

Thanks for the input :) I can see from your answer it doesn't seem there is a very clear formal system to get from GRS to TRS or vice versa....

> This is what electronics design tools like Symplectic do. The problem is that designs like this are very hard to reason about and verify. When I worked on VLSI...