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

科技回声

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

GitHubTwitter

首页

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

资源链接

HackerNews API原版 HackerNewsNext.js

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

The ups and downs of automated code checking software

50 点作者 spenrose将近 3 年前

3 条评论

jzwinck将近 3 年前
A sliding door needing to be operable &quot;without special knowledge&quot; is interesting. Imagine if that code were expanded with &quot;or uses latches and handles certified according to XYZ 123.&quot; Then someone can certify latches and handles (with installation instructions of course, like don&#x27;t install them sideways). The building model would simply specify the make and model of latches and handles to be used, or if it&#x27;s a simpler building maybe the model would only say &quot;XYZ 123 compliant latches and handles.&quot;<p>This would decouple the complex English language from the need to know whether a door is compliant. Because it can be reasonably understood that a door will be operable without special knowledge if its latches and handles can be. Doors are often custom fabricated, but latches and handles rarely are. And a final check against idiocy can still be performed after construction, as it should be today.
评论 #31556913 未加载
j16sdiz将近 3 年前
&gt; the same building, under the same code provisions, had 0 violations of egress provisions in one jurisdiction, and 16 violations in another jurisdiction. Multiply this variation times the 20,000 permitting jurisdictions<p>There are lots of inefficiency here. Are there any effort to harmonize the code? Building code, fire code, tax code...
评论 #31555188 未加载
评论 #31555335 未加载
junon将近 3 年前
For anyone reading the comments first: this is about building codes (i.e. literal physical buildings), not software verification.