Article calls D "irrelevant"

[Kagamin]

On Wednesday, 25 February 2026 at 08:26:21 UTC, Paulo Pinto wrote:
> Finally there is the whole AI programming, that to some extent 
> makes the actual programming language irrelevant, where 
> classical programming languages become a target for code 
> generation out of human language or formal proofs.

Shouldn't this cause migration to formally verified languages? F*?