3周前 · software

测试，不要只做验证

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行简体中文翻译。

3周前 · software

测试，不要（仅仅）验证

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行简体中文翻译。

3周前 · software

测试，别（仅仅）验证

文章 URL: https://alperenkeles.com/posts/test-dont-verify/ 评论 URL: https://news.ycombinator.com/item?id=46364973 得分: 3 评论: 0

1个月前 · software

VeriBiota v0.2.1：确定性验证与已验证保证

VeriBiota v0.2.1 的封面图片：具有已证实保证的确定性验证 https://media2.dev.to/dynamic/image/width=1000,height=420,fit=cover,gravity=...

1个月前 · software

P: 分布式（事件驱动）系统的形式化建模与分析

文章链接: https://github.com/p-org/P 评论链接: https://news.ycombinator.com/item?id=46299257 得分: 6 评论数: 0

1个月前 · it

Reddit 正在测试验证

Reddit 正在开始测试已验证的个人资料，公司今天宣布。作为此“有限 Alpha 测试”一部分获得验证的用户将拥有一个灰色的勾选标记……

1个月前 · it

通过网络升级增强 SMS OTP 保护

在当今高度互联的世界中，数字安全不再是可选项，而是任何处理用户身份、金融交易的平台的必需品。

1个月前 · it

深入英国 FPGA 版图：来自 DESN 行业调查 2025 的洞见

调查背景：结果突显了英国团队如何在多个行业中应用 FPGA，以及传统与先进验证之间的平衡正在演变……

1个月前 · it

在首个DSA处罚中，欧盟对X处以€120M罚款，原因是其“欺骗性”blue check verification system

EC 对 X（前身为 Twitter 的社交网络）允许任何人购买“blue checkmark”（平台的…）表示异议。