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).