@mhoye Tony Hoare called this “the sword of Damocles method of ensuring programme correctness” and cited an example of a team of programmers who had to calculate strengths of the chains used to slow a ship during a (sideways) launch. The team knew that they would be in a stand on the other side of the river, so would drown if the ship went in too fast.
J
jonfairbairn@hostux.social
@jonfairbairn@hostux.social