alloy

一种由广岛原子弹爆炸锻造的新型多组分合金被发现，为极端条件下的材料行为提供了独特见解。

研究人员开发了一种新方法，通过在较低温度下控制原子排列来制造'超级合金'，从而产生一种强度是钢的两倍、铝的三倍的金属，可能改变金属制造业。

Hillel Wayne 基于对社区项目的分析，讨论了尽管 LLM 在编写 TLA+ 和 Alloy 等形式化规范方面很受欢迎，但它们经常生成浅显、同义反复的属性，无法捕捉微妙的缺陷。

Hillel Wayne 宣布其著作《程序员逻辑》发布 v0.13 版本，包含大量重写和新内容，并概述了迈向印刷版的下一步计划。