We construct a finite-spin, orientation-resolved four-simplex vertex amplitude that retains the full tetrahedral intertwiner algebra. Orientation is selected by restricting the history integration to the domain on which a native Spin(4)-invariant pseudoscalar has fixed sign. Because the restriction acts on the integration variables rather than on the boundary state, the amplitude stays linear in the boundary data, no Barrett-Crane projection is applied, and the tetrahedral volume degree of freedom survives. Four properties are established: exact Spin(4) invariance of the pseudoscalar and of the orientation domain; an exact sector decomposition with antiunitary exchange of the two orientation sectors; an exact discrete representative of the canonical purely geometric measure in the native variables, matching the cubic volume power of the continuum measure rather than fitting it; and a cubic zero of the pseudoscalar on the fully degenerate rank-one locus, which reverses the local asymptotic ordering between the degenerate and geometric contributions. Global geometric dominance, stated as the central open problem in the first version of this paper, is settled at the vertex: the obstruction considered there required a per-face coherent sign that this construction does not have. What is now open is gluing. Contracting coherent intertwiners across a shared tetrahedron forces the two tetrahedral shapes to agree, while an area-Regge continuum argument requires them to differ, and the mismatch survives only at the scale of the coherent fluctuations. No claim is made to have derived four-dimensional General Relativity, and no result in the paper depends on such a claim. The derivations, code and drafting were carried out in collaboration with large language models from more than one provider, under the author's direction; the author is responsible for the content. Every load-bearing numerical claim was reproduced by an independent implementation sharing no code path, every search for the absence of something carried a positive control, and each stage was submitted to adversarial review across providers. SHA-256 checksums for the uploaded files are in SHA256SUMS.txt.
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
The ongoing work building a Raspberry Pi cluster consisting of 300 nodes is presented, with potential use cases being an inexpensive and green test bed for cloud computing research and a robust and mobile data center for operating in adverse environments.
P. Abrahamsson, S. Helmer, Nattakarn Phaphoom et al.· IEEE International Conferenc...· 110 citations· ⚡7
The findings show that speed related agile practices are used to a greater extent in comparison to quality practices, and that software startups who adopt the Lean Startup approach do not sacrifice quality for speed more than other startups do.
Jevgenija Pantiuchina, Marco Mondini, Dron Khanna et al.· International Conference on...· 84 citations· ⚡4
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.