logoalt Hacker News

OakNinjalast Thursday at 8:38 PM1 replyview on HN

They can be reasoned about and relied upon.

The problem is that people/users/businesses skip the reasoning part and go straight to the rely upon part.


Replies

withinboredomlast Thursday at 8:55 PM

They can be reasoned about from a mathematical perspective yes. An LLM will happily shim out your code to make a test pass. Most people would consider that “unreasonable”.