Hacker News

points by Loquebantur 3 days ago | 0 comments

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 3 days ago

Aren't all zoos technically run by animals? :D.

[–] gfody 3 days ago

apt, as we try to contain the complexity of our designs while being ourselves panarchical hyper-systems

[–] sach1 3 days ago

Unrelated but "Panarchical Hypersystems" makes for a great company name

[–] devonzh 3 days ago

Or a rock band. (With a nod to Dave Barry.)

[–] 59percentmore 3 days ago

Dovetails with it sounding like a secret society/esoteric superweapon monopoly corp from a Daisuke Ishiwatari joint.

On that note, "Esoteric Superweapon Monopoly Corp" would also make a great band name.

[–] prcrstntr 3 days ago

Lower intelligence animals....oh wait

[–] LeFantome 3 days ago

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 3 days ago

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 3 days ago

Correct, because when there was no LLMs all code was perfect and bug free.