I invite everyone here to join us on slack.synereo.com to follow progress more closely.
May also help tip the balance towards sanity and away from the true believers.
I'm there but the chat that is most live I don't think is a place for outsiders to ask questions or make helpful suggestions.
- Yes, it's too noisy for me as well.
Can one really trust a new language to create working solutions when that language itself has never produced a real world product before?
Can't existing languages just create new objects and functions to do what you need to do?
It's not so much a new language as just a different logic. The promise is that formal semantics make the programs much less buggy and allow more rigorous approaches for verification.
To my understanding this is similar to Hoon, page 16:
http://media.urbit.org/whitepaper.pdf (which could incidentally be appropriated).
Different logic implies different operators hence a different compiler to create the applications. Time tested languages have a history of
working. Something with a different logic seems to put things at step one, or at least back a few steps.
There are a lot of initiatives trying to do something similar. Ethereum seems like the most similar technology. I wonder how the languages/technologies compare to what LBRY are trying to do, or many others. Could it be possible that a synergy would work? Do groups really know what the other are doing, and what in the purpose of science, are inventions that could be open source used by others?