logoalt Hacker News

agentultra • yesterday at 1:06 PM • 1 reply • view on HN

Maybe. I’m not certain the pages and pages of informal markdown specifications for the agents really add anything for me.

Replies

whattheheckheck • yesterday at 1:12 PM

Yes the bar will be raised to formal verification and actually strong mathematical proof skills to be a real software engineer

➕ show 1 reply