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