Article calls D "irrelevant"

[Paulo Pinto]

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*?

More like formal specification, and testing.

Also there are many programming scenarios like iPasS (Bomi, 
Workato, n8n, Power Automate...) where the integrations between 
systems that used to be coded in scripting languages or 
middleware, can now be configured via AI agents, thus removing 
any traditional programming from the loop.

https://boomi.com/platform/agentstudio

So many of those low code tools, now have even less code to write.