logoalt Hacker News

mitxela • yesterday at 1:32 PM • 2 replies • view on HN

Doesn't seem crazy to me. Which one do you suppose needs more proof of correctness: a cake recipe, or the oven you bake the cake in? The recipe has to be correct or the cake won't work, but the oven just has to hold a temperature.


Replies

starky • yesterday at 4:35 PM

Ovens vary greatly. There is no consistency in how even the heat is in the space, the airflow through the space, how much and how fast the temperature varies around the set temperature, etc. These things all do affect how things bake up and often people have to tweak recipes for their specific oven.

In a case where something is safety critical the computer is super important as very subtle errors could cause catastrophic consequences. This is why you get into things like running software on 3+ computers concurrently depending on how fail-safe something has to be.

realo • yesterday at 3:16 PM

That "just" is quite the load-bearing seam ...

Particularly when the task here is "just" to measure some rod positions in a constrained 3D space ...