Article calls D "irrelevant"

[Kagamin]

On Thursday, 26 February 2026 at 08:55:22 UTC, Kagamin wrote:
> 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*?

Or even better: AI can simply check correctness of C code. The 
future is C.