I think I do understand your claim, which is why I am offering my personal exper...

		justatdotin 10 days ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream I think I do understand your claim, which is why I am offering my personal experience as counter-evidence. agents can empower us to choose the best language for the job, rather than defaulting to one which we are most familiar with. I suspect our difference in opinion comes from your attitude about tools as a crutch to lean on vs a lever to apply.

There isn't a difference of opinion you aren't replying to what I'm saying in the first place.