分类: 业界观察
美国国防部建议将C代码转换为Rust

美国国防高级研究计划局(DARPA)正在启动一项资助计划,即推动一款程序代码转换工具 TRACTOR(全称为 Translating All C to Rust)的开发,旨在借助 AI 大模型技术独立地将传统的 C 和 C++ 代码直接转换为可用的 Rust 代码。

【外评】Why Not Rust?
Rust 没有定义内存模型,因此无法正式检查给定的不安全块是否有效。虽然有 “rustc 所做或可能依赖的事情 “的非正式定义,也有正在开发的运行时验证器,但实际模型还在不断变化。因此,可能有一些不安全代码今天还能正常运行,明天就会被宣布无效,明年又会被新的编译器优化所破坏
“不可变”发行版Vanilla OS 2发布稳定版:彻底重写、改变使用Linux的方式

Vanilla OS 是去年崭露头角的 Linux 发行版,最初的 1.0 版本基于 Ubuntu 构建 —— 亮点之一是系统核心“不可变”。后来改用 Debian 测试分支 (Debian Sid),免费且开源,默认桌面环境是 GNOME。

【外评】80% 的开发人员不开心

尽管工作不开心,但大多数开发人员在工作之余仍将编码作为业余爱好(68%),近 40% 的开发人员在工作之余为职业发展或从在线课程中自学而编码。这可能表明,编码并不是问题所在!

“甲骨文牌”Java正在死亡

2022 年,甲骨文虽然保住了 JDK 供应商第一的市占位置,但其份额已经缩水了近一半,跌至 34%。 2023 年,甲骨文主导的 JDK 发行版所占市场份额下跌到了 28%。

您现在可以像运行 Python 一样运行 Java

这是一个非常新的功能。在 Java 生态系统中,还没有一种与 pip 或 npm 相同的、不与构建工具绑定的公认方法。现在不需要构建工具了,我想这很快就会出现

GitHub 删除代码等于“任何人均可永久访问”!微软回应:我们有意为之

删除理论上意味着数据不再可访问,但实际上它变成了永久可访问,并且不受你控制。微软则坚称这是一个 feature,而非 bug。

【外评】 我使用(并喜爱)Rust 已经有 10 年了, 以下是它让我失望的地方

Rust 分析器也有同样的问题。IntelliJ 会在启动时对我的项目进行一次索引,并在剩余的开发时间里立即显示错误。Rust 分析器感觉就像每次输入时都在重新索引整个项目(减去依赖关系)。这对小项目来说还行,但在 Bevy 的规模下就几乎无法使用了。

理解 git blame:一篇简介

git blame 听起来像是一个用来指责别人的工具,但实际上它是一个帮助开发者了解代码历史的强大功能。通过使用 git blame,你可以跟踪修改、查找 bug,并更有效地与团队协作。下次想深入了解代码细节时,不妨试试它!

【外评】科学家发现一种治疗男性秃头症的糖

谢菲尔德大学和巴基斯坦 COMSATS 大学的科学家们发现,一种天然糖类可以刺激小鼠模型的毛发生长。

【外评】瑞士现在要求所有政府软件都必须开源

瑞士通过《使用电子手段完成政府任务联邦法》(EMBAG)向前迈出了一大步。这项开创性的立法规定在公共部门使用开放源码软件(OSS)

【外评】研究发现敏捷软件项目失败的可能性高出 268%。

当今科技界的许多弊端都可以归咎于《敏捷宣言》。源源不断的补丁表明质量可能大不如前,代码在未完成或考虑不周的状态下出现,这些都被归咎于敏捷实践。

【外评】英特尔称第 13 代和第 14 代移动 CPU 正在崩溃

有报道称,第 13 代和第 14 代处理器的不稳定性已扩展到移动芯片,英特尔已向 Tom’s Hardware 发出声明,澄清了这一情况。虽然某些移动 SKU 存在不稳定反馈,但不稳定的原因与台式机不同。

【外评】微软称 850 万台 Windows 设备受 CrowdStrike 故障影响

据微软负责企业和操作系统安全的副总裁大卫-韦斯顿(David Weston)在微软博客上发表的一篇文章称,大约有 850 万台设备(不到全球 Windows 机器的 1%)受到了最近 CrowdStrike 故障的影响。

【外评】英特尔酷睿 i9 CPU 死机问题看起来比我们想象的还要严重

英特尔第 13 代和第 14 代高端 CPU 的不稳定问题似乎比我们想象的还要严重,YouTube 上一段新视频对这些问题进行了深入探讨,但这并不能平息猛禽湖酷睿 i9 处理器(及其后续更新)购买者的担忧。

【外评】Linus Torvalds 称 RISC-V 将重蹈 Arm 和 x86 的覆辙

尽管 RISC-V 正在慢慢发展壮大,但其性能仍无法与当前的 x86 和 Arm 处理器相抗衡。要在 RISC-V 芯片上玩 AAA 级游戏,仍需要数年或数十年的开发。不过,尽管同样采用精简指令集计算机(RISC)架构的 Arm 已经经历了深入开发,但 Linus 担心 RISC-V 仍会重蹈覆辙。

【外评】《敏捷宣言》合著者抨击失败率报告,大谈 “重新构想 “项目

我们猜测该报告可能是在为影响工程(Impact Engineering)打掩护。此后,该报告因其方法和结论而遭到抨击。Kern 毫不讳言: “我认为这项研究是垃圾。可以说,它根本没有反映出我认为的敏捷”。

【外评】为什么我希望不要让 Rust 锈化一切?

让我先声明,我认为 Rust 是整个行业向前迈出的一大步。它很棒,如果你喜欢,那就太好了。如果它适合手头的工作,那就太好了。继续使用 Rust 吧。

【外评】Rust 版的 Linux 文件系统

Dave Chinner 询问了 C API 和 Rust API 名称之间的脱节问题,这意味着开发人员无法在查看 C 代码时知道等价的 Rust 调用是什么。他说,应该使用相同的名称,否则现有开发社区将完全不熟悉。

大模型集体失智!9.11和9.9哪个大,几乎全翻车了

没眼看……“9.11和9.9哪个大”这样简单的问题,居然把主流大模型都难倒了??

【外评】为什么 Facebook 不使用 Git

Facebook 采用 Mercurial 并不是因为它比 Git 性能更强。他们之所以采用 Mercurial,是因为维护者和代码库觉得 Mercurial 对协作更加开放。Facebook的工程师们与Mercurial的维护者们进行了面对面的交流,并喜欢上了合作的想法。

ECMAScript 2024新特性

2024 年 6 月 26 日,第 127 届 ECMA 大会正式批准了 ECMAScript 2024 语言规范,这意味着它现在正式成为最新 ECMAScript 标准。

Go语言有个“好爹”反而被程序员讨厌?

在最新的 TIOBE 7 月榜单中,Go 排名第七。与其他所有编程语言一样,有人喜欢 Go 语言也有人讨厌,同样的功能既会带来诋毁也会带来赞美。

【外评】”GitHub “开始让人感觉像传统软件

对我来说,GitHub 的 “杀手级 “强大用户功能之一就是它的blame视图。命令行上的 git blame很有用,但很难阅读;它不是我每天都会使用的界面。

Vue诞生10年,创始人尤雨溪推动“锈化”——通过Rust提升Web基础设施性能

7 月 6 日,尤雨溪在 VueConf CN 2024 发表现场演讲,分享了面向未来的 Vue 和 Vite。
