Greetings!

I am from Guangzhou China,the birthplace of the founding father of China —— Dr.Sun Yatsen.

I am honored to stand here to express their desire for a long time: " I would like to run for learder of the Asgardia. "  I solemnly pledge: "I will do my best to unite members come from China  and other contries so that Asgardia will become A better place in  future,not only for Asgardian but aslo for earthings on the Earth. "

I  have been a BaiduTieba(A well-known Social Media in China) Group  administrator nearly a year of time, from work, I learned how to be  patient、how  to solve some of the conflicts、how to coordinate the various members of  the discipline inspection、and learning how to handle the work and  resolve their conflicts. All this to prove: I have the ability to do the post of a leader of Asgardia, and the ability to develop it.

If I become a leader of Asgardia , I would like to achieve my objective of:

1. Improve ourselves in aspects of the quality of the need to further improve their work enthusiasm, with full enthusiasm.
2. Improve positive attitude to deal with everything
3. Further enhance the sense of innovation, and strive for progress, with an open mind to learn from other people.
4. To from the priciple that “there are good ideas to accept, at the same time adhere to its principles.”

If I become a leader of Asgadia , I would like to enchance the website and the way members communicate with each other:

1. Gather  members who is good at English to translate the website for people who  want to register in Asgadia in order to remove the misunderstanding and  arguements.
2. Set  up an official group for members come from China. Without a raditional  and opening group, we can’t try our best to develop Asgardia.

I think that if I am elected, it will certainly true in word and resolute line, in deed.

Please give me a vote of confidence, give me a chance to give full play to their talent!

Hanmu0w0

你们好!

我来自广州——国父孙中山先生出生的地方。我很荣幸能在这里向目标发起冲击: 成为Asgardia的领导者之一 ,同时,我郑重的承诺: 我会尽我所能,将Asgardia打造成一个世外桃源 。

我曾在百度贴吧有过担任管理层职务的经验,在工作当中,我学到了许多:如何耐心的处理争议和分歧,如何调节成员的冲突和如何去踏踏实实的做好一件事。这无疑证明了: 我有成为Asgardia领导者之一,并领导她发展的能力。

如果我当选了Asgardia的领导人之一,我会在Asgardia成员的发展问题上推进以下的行动:

1. 增强我们对Asgardia的热情并且切实的去发展,去建设她。
2. 对于asgardia的发展,我们要抱着乐观,积极的心态去面对.Asgardia作为一个独一无二的天际之国,他的成员也应当合别人相比,多出一份独一无二的气质和能力。
3. Asgardia需要有能力的人来建设。我们应当转变思想,使得自己更加的具有创新精神,善于学习他人的长处
4. 对于正确的事情我们应当听取,对于错误的事情我们要严守原则。

• 如果我当选了Asgardia的领导人之一,我会在Asgardia网站和成员群的建设问题上推进以下的行动:

1. 展开官网汉化行动,召集英语能力强的人来对官网内容进行翻译并最终建立一个简体中文官网。
2. 建立官方的成员群来团结成员,没有一个理性,开放的群体做后盾,我们就没有办法尽全力来发展Asgardia。

我坚信,我将会在当选之后恪守承诺,言行一致。请你们信任我,给予我一次充分发挥才华的机会!

Hanmu0w0

=============================================

加入我们！

华人Asgardia社团：星学会

群号：595402350  进群找群主

投票链接（Vote Link）：https://asgardia.space/en/blog/candidate/746591-4979-together-we-can-make-asgardia-more-famous/

I would like to be representatives of Asgardia in Hong Kong. My name is Danny. I am from Hong Kong. I am a registered teacher here. I am now a part time instructor of Higher Diploma Program in Library and Information Management, SCS, The Chinese University of Hong Kong. I would like to contribute my knowledge to the development of the Space Nation. I will uphold justice and fight for fairness for the general citizens in Asgardia. Please vote for me.

Hi all! Join the new Asgardia Hong Kong meetup group to get to know each other better and discuss plans for the future: https://www.meetup.com/asgardia-hong-kong/

Please suggest an ideal meeting place for drinks/lunch if some of you would like to celebrate Unified Voting Day on the 18th

Why DSL

Ryan J. Kung ryankung(at)ieee.org

Conclusion

We perfer to use DSLs is addressing that in model complete therory and definition of DSLs , it is a more concrete and direct way for doing modeling better, because iffiff a model MM is model complete, it is equalize to the DSLDSL of that Model.

DSL

There are two main schools of DSLs: internalinternal and externalexternal DSLs[1]. The concrete syntaxconcrete syntax defines the notation with wihich users can express programs.

A DSL or GPL may include follow ingredients[2]:

• abstract syntaxabstract syntax
  which is a data structure that can hold the semantically relevant information express by a program.
• static semanticsstatic semantics
  Which Of language are the set of constraints and/or type system rules to which programs have to conform.
• ExcutionSemanticsExcutionSemantics
  Which refers to the meaning of a program once it is execuded. It is realized using the execution engineexecution engine .

Modeling, and Model Complete

Modeling

There are two ways in which the term modeling can be understood: descriptive and preciptive . A descriptive model represent an existing system Thus a presciptive model is one that can be used to construct the target system. In DSL engineering, we always mean prescriptive models when we use the term model[3].

Model Complete

In model theory, a first-order theory is called model complete if every embedding of models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula[6].

A companion of a theory TT is a theory T∗T∗ such that every model of TT can be embedded in a model of T∗T∗ and vice versa.

A model companion of a theory TT is a companion of TT that is model complete. RobinsonRobinson proved that a theory has at most one model companion.

A model completion for a theory TT is a model companion T∗T∗ such that for any model MM of TT , the theory of T∗T∗ together with the diagram of MM is complete. Roughly speaking, this means every model of TT is embeddable in a model of T∗T∗ in a unique way.

GPL and Turing Complete

We known that the GPL is always Turing Complete . Turing Complete is means that a GPL it can be used to simulate any single-taped Turing machine. Turing Complete is actualy a preciptive model of Turing Machine .

Domains and Model complete

When we said that a language ll covers a subset of PP , we can simply call this subset the domaindomain covered with ll . The subset of PP in that domain PDPD is equal to the subset of PP we can express with a language ll PlPl . So, we cannot ask a question like: “Does the language adequately cover the domain?”, since it always does, by definition .[4] And the definition can be also interept as that “ DSL is always model complete, by definition ”

Completeness

A DSL might be eighter incomplete-DSL or complete-DSL , is determined by Completeless which is refers and only refers to the degree to which a language LL can express programs that contain all necessary information to execute them. An program express in an incomplete DSL requires additional specifications (such as configuation files or code written in a lower-level language) to make it executable.[5]

Referance

[1][2][3]DSL Engineering, Designing, Implementing and Using Domain-Specific Languages, Markus Voelter, dslbook.org, ch 2.1

[4]DSL Engineering, Designing, Implementing and Using Domain-Specific Languages, Markus Voelter, dslbook.org, ch 3.1

[5]DSL Engineering, Designing, Implementing and Using Domain-Specific Languages, Markus Voelter, dslbook.org, ch 4.5

[6] Chang, Chen Chung; Keisler, H. Jerome (1990) [1973], Model Theory, Studies in Logic and the Foundations of Mathematics (3rd ed.), Elsevier, ISBN 978-0-444-88054-3

A short summary of Asgardian (HK) today:
~40 asgardians (HK) in total
~10 IT
~ 10 Business
1 Space start up
2 Engineer /  Engineering student
2 Healthcare worker (Medical doctor - me and another dentist)
1 Artist
~ 15 students (uni / high school)