can you prove that?

I don´t understand. Most answers say they want to program but that they don´t want to type, compile, debug, add files to the project, refactor, etc. Well that´s programming.

Asking a prompt to do something is asking a prompt to do something.

In my case I fear the day comes where I can not program anymore and I have to give orders to a prompt.

Will they end up using ads? (not joking)

Not only meritocracy. A big part also believes that they are better than the rest. So they think these problems will never touch them.

I don´t know. Maybe we spend too much time alone in front of a monitor to understand what´s really going on.

> HACL* is a formally verified library of modern cryptographic algorithms, where each primitive is verified for memory safety, functional correctness, and secret independence. HACL* provides efficient, readable, standalone C code for each algorithm that can be easily integrated into any C project.

> All the code in this repository is released under an Apache 2.0 license. The generated C code from HACL* is also released under an MIT license.

You have an unusual definition of "depends on Microsoft". Anyone worried about depending on Microsoft should be able to maintain 15k lines of C that are already formally verified. Python already vendored the code so who cares who wrote that code?

I like how they present it as a novel idea, when this is as old as it gets. This is not new of course but it seems it won´t stop. Ever.

Time to quit using Github?

They are not going to say "we are making an agent to replace programmers. We will use their code and their guidance to train it"

The problem with these large open source projects is that they are already on maintenance mode and the fun part has already been done a long ago. Who wants to work for months doing menial tasks so that when they "graduate" they can start doing maintenance.

Truly. God bless the maintainers and we couldn't do it without them, but I cannot imagine myself sitting down on the weekend to do maintenance on a 20yo disk partition utility or something.

Are those emails legit?

Yes, the source of these emails are court discovery proceedings, related to the many court cases Microsoft has been involved in. They're all public record, so they can safely be reproduced online.