Comment by ctoth

> frozen the state of the art

Personally I am experimenting with a lot more data-driven, declarative, correct-by-construction work by default now.

AI handles the polyglot grunt work, which frees you to experiment above the language layer.

I have a dimensional analysis typing metacompiler that enforces physical unit coherence (length + time = compile error) across 25 languages. 23,000 lines of declarative test specs compile down to language-specific validation suites. The LLM shits out templates; it never touches the architecture.

We are still at very very early days.

Specs for my hobby physical types metacompiler tests:

https://gist.github.com/ctoth/c082981b2766e40ad7c8ad68261957...