Comment by whatever1

I like there is us who like formal methods and guarantees of correctness for our code.

And then there are the others who now generate approximately code with large language models that mostly runs.

They are winning.