TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

UK legal system assumes that computers don't have bugs

41 点作者 idw超过 4 年前

3 条评论

Meph504超过 4 年前
How is this not reasonable?<p>&quot;in the absence of evidence to the contrary, the courts will presume that mechanical instruments were in order at the material time... The principle has been applied to such devices as speedometers and traffic lights and in the consultation paper we saw no reason why it should not apply to computers.&quot;
评论 #25521921 未加载
评论 #25520900 未加载
评论 #25521688 未加载
评论 #25521783 未加载
waspentalive超过 4 年前
Babbage supposedly said something like &quot;I cannot rightly understand how this question came to be, a politician asked me once: &quot;If one enters the wrong information into the engine, will it still provide a correct answer?&quot;. &quot;
gjvnq超过 4 年前
Why not make a compromise?<p>Assume that software has no bugs if there is a publically available machine-checkable proof of the program correctness.
评论 #25522545 未加载