@jiaming Theruran @theruran : So what's your feeling about this new contact ? Shall we spend more time discussing our research work with this contact ? I'm not quite convinced we should, unless this person does another try and this time doing some more efforts to answer the question a bit more convincingly.
@stman Your @ tag messed up so I just saw this come across my home feed.
@jiaming is new in the fedi and probably hasn't seen our conversations about cyberspace architectures. And I like his answer about language... every text symbol should be localized. It's like your sociologist friend's answer about a universal translator.
@jiaming - Rust won't solve the architectural problems we're discussing, but then, I haven't seen a language that does. I'm sure you recognize that too - that it's less bad than C/C++. The most promising ones are still new/experimental: F* (FStar) and Cur (on Racket).
Really what we need is systems design of a programming language. I'll have to spec out at least some of it for my research.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!