Humans and AI need a better language for code.

Not another experiment. Not another mosaic of compromises over situational constraints. Something thoughtful. Versatile. Enduring.

TypeScript, Go, and Rust support today's industrial greenfield projects. But they were conceived long before the era of pervasive LLMs. And the cracks are showing.

We want AI-written, human-audited code landing planes, keeping people alive on life support, and processing millions of transactions per second. Today's languages can't do that.

However, AI discourse is centered around models and enormous compute budgets. Yet the actual language being emitted—the true bottleneck—is largely ignored.

There is strong evidence that AI is now settling in the valley of local optimization. The next frontier is unlikely to come from futher improvements to AI itself, but rather from a systemic redesign of language.

Good languages are not computer science projects.

They're exercises in industrial design. Ada, in its quiet rigor, was in design for years before a single line of code was written. And for fifty years, it has been a structural beam of national security.

Typical follows this mindset. Privately funded. Free from AI hype cycles. Design efforts heavily front-loaded. Crafted for multi-decade time horizons.

We are designing for LLMs as engineers. For humans as auditors. For the systems that will sustain future civilization. It must respect the past, pave the way to the future, and ultimately unlock human potential.

Typical is more than code. It is a carefully designed substrate for thought—a tool that amplifies curiosity, mastery, and creation. Its simplicity is deliberate, its ergonomics familiar, its reach unprecedented.

We are honored to be bringing it to life.