Hacker News new | ask | show | jobs
by pydry 7 days ago
I did some of this stuff in college and what bugged me was that the spec actually ended up more complex than the code and it had bugs.

That was a long time ago and they said that formal methods were the future back then, too.
1 comments
chadgpt3 7 days ago
It's possible for that to happen but probably means either the function is too trivial or you're missing some abstraction in the spec
link
pydry 7 days ago
It's also possible it's not the future of programming.
link
chadgpt3 6 days ago
It never was. It's useful but extremely slow.
link