硬核观察 #820 英伟达采用形式验证来验证软件安全性
• 英伟达采用形式验证来验证软件安全性 • JavaScript、Java、Python、Kotlin 和 Rust 开发者增长惊人 • 密码学家建议考虑非晶格的后量子密码算法
硬核观察 #819 大众汽车制造了一辆时速 20 公里的《星际迷航》船长椅
• 大众汽车制造了一辆时速 20 公里的《星际迷航》船长椅 • 苹果自带的应用无视用户隐私设置 • 谷歌继续资助 GlobalFoundries 提供开源芯片免费制造服务
如何从 Ubuntu 21.10 及以后版本中删除 Firefox Snap
Ubuntu 21.10 “Impish Indri” 及之后的版本将 Firefox Snap 设为默认浏览器。如果你不喜欢 Snap，可以通过以下方式将其删除并使用库存版本。
硬核观察 #818 Linux 帮助 Windows 11 支持旧打印机
• Linux 帮助 Windows 11 支持旧打印机 • DeviantArt 为作品添加 AI 许可标签 • 一根普通光纤传输全球互联网流量