Yoshiya@kt3k・May 7, 2026, 2:22 AM

An argument against, or a note to, "Coding is solved".

If a target program can be described precisely in natural language, coding agents can write it for you.

If there is no natural language vocabulary to describe it, then you suddenly need to write that program in programming language.

--

Let's call the first category A software, and the 2nd B software.

What I've been always interested in is B software. I loved software engineering because it can find something extraordinay, amazing, which is undiscoverable without programming language vocabulary.

To me, software engineering is about exploring something which cannot be written by coding agents.