Hacker News new | past | comments | ask | show | jobs | submit
Loquebantur | on: AI is forcing us to pay off 40 years of technical debt
Yes, you can also easily prove the wrong thing.

That's why it doesn't suffice for only LLMs to know the relevant stuff.

You can't have a zoo run by animals.

Revanche1367 | parent | next
Aren't all zoos technically run by animals? :D.
gfody | root | parent | next
apt, as we try to contain the complexity of our designs while being ourselves panarchical hyper-systems
sach1 | root | parent
Unrelated but "Panarchical Hypersystems" makes for a great company name
loading story #50370872
prcrstntr | root | parent
Lower intelligence animals....oh wait
LeFantome | root | parent
I once saw an interview with a guy that designed garbage cans for National Parks. When asked what the hardest part of the job was he said, “accounting for the considerable overlap between the dumbest humans and the smartest bears”.
hinkley | parent | next
For months after some researchers “proved” our code signing system sound I was still finding security holes in the system. To this day I’m not sure what they proved. That the architecture worked? We’d already proven that to a hundred people.
socalgal2 | parent
Correct, because when there was no LLMs all code was perfect and bug free.