Skip to content
#small language model Open access

Three Bets on the Future of Software: Compiler Compiler System AI-Assisted Construction

Sep 2026 · Zenodo (CERN European Organization for Nuclear Research)

Abstract

The conversation about artificial intelligence has narrowed to two competing bets about how human-level capability is built. The first, held by the major frontier labs, is that scaling neural networks produces general intelligence as an emergent property. The second, held by a smaller community in the cognitive-science lineage, is that intelligence requires explicit cognitive architecture. Both bets are unresolved, and both engage centrally with whether sufficiently capable AI systems can be produced. This paper argues that a third bet sits beneath both, addresses a question neither engages with directly, and is independently worth making: software construction is fundamentally the transformation of semantic representations into one another, and the substrate that supports those transformations determines what AI assistance can do. The current substrate for AI-assisted construction — source code in text files, semantic structures in developers' heads, prose documentation that no toolchain can verify — places a ceiling on what AI assistance can achieve no matter how capable the underlying language models become. We describe a substrate that addresses this gap: a self-defining specification language, a compiler-compiler that produces parsers and serializers in four target languages, a canonical binary form with round-trip closure as structural-correctness oracle, and first-class isomorphic mappings between representations. The implementation backing for this architectural model is established in [2]; the present paper articulates the position-level implications, summarizes empirical results on construction of approximately twenty-six sibling repositories over twelve weeks of focused work, describes the *Adaptive Programming* methodology that emerges when AI assistance operates at the specification layer, and considers two application domains — cross-language source translation and ontology-based knowledge extraction — where the substrate reframes problems current tooling addresses poorly. The third bet's position is intentionally narrow: not a path to general intelligence, not a theory of cognition, but a class of substrate that makes AI-assisted specification-layer construction tractable in ways code-layer assistance alone cannot reach.

View source

Similar papers

#small language model Dataset Open access Oct 2026

Socratic guiding questions in synthetic arithmetic data: matched LoRA runs (revision v2)

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. · 465 citations
#computer vision Open access Jun 2016

Software Development in Startup Companies: The Greenfield Startup Model

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. · 178 citations · ⚡14
#computer vision Open access Oct 2016

Software Startups - A Research Agenda

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. · 157 citations · ⚡17
#machine learning Review Open access Oct 2016

“Failures” to be celebrated: an analysis of major pivots of software startups

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. · 127 citations · ⚡15
#computer vision Review Open access May 2015

A survey study on major technical barriers affecting the decision to adopt cloud services

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. · 111 citations · ⚡8
#large language models Review Open access Nov 2020

Status of the WHO recommended timing and frequency of antenatal care visits in Northern Bangladesh

Objective There is dearth of information on the timeliness of antenatal care (ANC) uptake. This study aimed to determine the timely ANC uptake by a medically trained provider (MTP) as per the World Health Organization (WHO) recommendations and the country guideline. Methods Cross-sectional survey was done with 2,731 wo...

B. Sarker, Musfikur Rahman, T. Rahman et al. · 89 citations · ⚡7

Related blog posts

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.