undefined | Better HN

0 pointsgipp3mo ago0 comments

Those are completely deterministic systems, of bounded scope. They can be ~completely solved, in the sense that all possible inputs fall within the understood and always correctly handled bounds of the system's specifications.

There's no need for ongoing, consistent human verification at runtime. Any problems with the implementation can wait for a skilled human to do whatever research is necessary to develop the specific system understanding needed to fix it. This is really not a valid comparison.

0 comments

startupsfail3mo ago

There are enormous microcode, firmware and drivers blobs everywhere on any pathway. Even with very privileged access of someone at Intel or NVIDIA, ability to have a reasonable level of deterministic control of systems that involve CPU/GPU/LAN were long gone, almost for a decade now.

gippOP3mo ago

I think we're using very different senses of "deterministic," and I'm not sure the one you're using is relevant to the discussion.

Those proprietary blobs are either correct or not. If there are bugs, they fail in the same way for the same input every time. There's still no sense in which ongoing human verification of routine usage is a requirement for operating the thing.

j / k navigate · click thread line to collapse

0 pointsgipp3mo ago0 comments

0 comments

startupsfail3mo ago

gippOP3mo ago

I think we're using very different senses of "deterministic," and I'm not sure the one you're using is relevant to the discussion.

j / k navigate · click thread line to collapse