Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Space exploration and regulation
Abstract
Abstract This document presents a complete constitutional framework for a future human society on Mars. The Charter of the United Martian States is a confederative instrument designed for a small, dispersed, high-risk frontier environment in which sovereign constituent polities voluntarily cooperate under strict limits on central power. It is grounded in the Treaty on Principles Governing the Activities of States in the Exploration and Use of Outer Space (1967), the Universal Declaration of Human Rights (1948), and the historical lessons of Earth’s confederations and federations. The Charter deliberately rejects a unitary planetary state or a strong federal model in favor of: Absolute constituent polity autonomy in internal governance, labor-capital relations, and local resource management A right of secession Minimal Union powers, strictly enumerated and subject to immediate judicial review A defensive, humanitarian Martian Space Guard capped at 0.2 % of population Direct democracy at the Union level (initiative, referendum, recall of the Consul) as a normative model Seven equally authentic languages (English, Latin, Russian, French, Spanish, Arabic, Chinese) with an open clause for future additions A high amendment threshold (three-fourths popular vote) with an unamendable core protecting secession, autonomy, rights, and the Guard cap This work is offered to the space-law community, to future settlers, and to anyone who believes that Mars should not repeat Earth’s mistakes of empire and coercion. It is a proposal — not a finished imposition — and invites comment, criticism, and improvement. The experiment begins with ratification. May it proceed in peace, reason, and mutual respect. Revision 1 Scorpius 221 August 2026 Aside from reorganization of articles and sections, major changes are the addition of the Planetary Stewardship Trust and the Office of Future Generations as constitutionally entrenched independent agencies to finance and oversee the ecopoesis (terraforming) of Mars, as well as raising the requirement for the secession of a constituent polity to a two-thirds vote in a plebiscite. Revision 2 Vrishika 221 September 2026 Revised: Article 2(1) Member of the Union may include city-states and federations thereof; compacts of free association among city-states permitted. All references to “city-state” replaced by “constituent polities” or “polities” throughout the Charter. Inserted: new Article 2(2) Inter-Polity Compacts and Alliances. Inserted: new Article 3(6)(b) Export taxes. Inserted: new Article 3(6)(c) Interstate commerce. Inserted: new Article 3(6)(d) Appropriations. Inserted: new Article 3(1)(b) Total number of Senators established by statute. Inserted: new Article 5(5) Bills of attainder and ex post facto laws Inserted: new Article 5(7) Birthright citizenship. Inserted: new Article 5(8) Privileges and immunities Revised: Article 6(4) (minor) Revised: Article 7(1) (minor)
Supporting data, adapters, predictions and code for the article *Low-Cost LoRA Fine-Tuning of Small Language Models for Multi-Step Arithmetic Reasoning* by Jake O'Grady, Asena Isik Gürhan, Chee Fong Ting and Effirul Ramlan (University of Galway). We generated 20,000 GSM8K-derived arithmetic problems with step-by-step s...
O'Grady, Jake, Gürhan, Asena Isik, Chee, Fong Ting et al.· Zenodo (CERN European Organi...· 465 citations
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6
Related blog posts
Microsoft Research Blog· microsoft.comOct 12, 2026
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.