/AI11h ago

Researcher Predicts AI Will Drive Explosion of Code and Formal Languages

1502871
David Bau#470
Original post
David Bau@davidbau#470inAI

Coding is not about performing a task! That's what ML is for. Code is about doing the *right* task.

My prediction: as AI makes 777-levels of complexity routine, we will have much *more* code, not less. We will have an explosion of formal languages that, yes, humans will learn.

David Bau@davidbau

Musk has no ambition.

A 777 has 2.6 million lines of code *not* because that's what it takes to fly. It's because that's what it takes to lift 370 tons safely from LAX to Heathrow every day without endangering its 400 passengers.

7:13 AM · Jun 9, 2026 · 552 Views
Sentiment
Sentiment building, check back later.
Cluster Engagement
Posts from X
Most Activity
Most Activity
VIEWS319BOOKMARKS1LIKES1
David Bau@davidbau

If you haven't tried LLM coding on a big-code problem, try your hand at this easy one. Here, standing in for "what humans want" is a 46-year-old 450K-LoC game.

The simple task: write an equivalent JS game. Harder than it looks; lots to learn in trying.

https://mazesofmenace.ai/

David Bau@davidbau

Coding is not about performing a task! That's what ML is for. Code is about doing the *right* task.

My prediction: as AI makes 777-levels of complexity routine, we will have much *more* code, not less. We will have an explosion of formal languages that, yes, humans will learn.

11hViews 319Likes 1Bookmarks 1