Hacker News 中文摘要

作者使用Codex CLI和GPT-5.2工具，仅用4.5小时就将JustHTML项目从Python成功移植到JavaScript，创建了通过9200项测试的无依赖HTML5解析库justjshtml。整个过程消耗大量计算资源，最终生成9000行经过测试的代码。

Waterfox创始人回应Mozilla将AI作为核心战略的决策，认为Mozilla面临生存压力可以理解，但转向AI尤其是大语言模型是根本性错误。他指出机器学习项目如Bergamot翻译工具具有明确功能和可审计性，而大语言模型则是无法解释的黑箱，暗示Mozilla不应盲目追随AI热潮。

Times New Roman字体由伦敦《泰晤士报》委托设计师Stanley Morison于1929年主导开发，广告艺术家Victor Larent参与设计。尽管问世之初就受到批评，但因报纸广泛使用而迅速流行。随着排版技术迭代，它始终是首批适配新设备的字体之一（包括个人电脑），这进一步扩大了其影响力。

葡萄牙籍MIT教授在家遭枪击身亡。

人工智能将推动形式化验证技术进入主流软件开发领域。目前形式化验证主要应用于研究项目,工业界较少采用,但AI有望改变这一现状,使开发者能更轻松地为代码编写形式化规范并进行数学证明,确保代码在各种边缘情况下都符合规范要求。

Astral公司推出了一款名为ty的极速Python类型检查器和语言服务器，采用Rust编写，旨在替代mypy等工具。该工具已进入Beta阶段，专注于高性能和增量计算架构，特别适合作为语言服务器使用。Astral公司已在自身项目中全面采用ty，并推荐用户在生产环境中试用。

人工智能冲击初级技术岗位，全球工程专业毕业生面临就业危机。印度、中国等地学生原计划的硅谷梦被AI打破，仅25%学生获得工作机会，校园弥漫恐慌情绪。部分人考虑继续深造，但担心学历贬值加剧就业困境。

德国能源公司MVV正在曼海姆建造全球最大热泵系统，利用莱茵河水为4万户家庭供暖。该系统由两个82.5兆瓦的热泵模块组成，安装在原煤电厂旧址，标志着向清洁能源转型。巨型管道直径达2米，每秒可输送1万升河水。

文章探讨了AI辅助编程带来的"速度疲劳"现象。作者使用Claude Code和Cursor等AI工具大幅提升编码效率，能快速完成功能开发和错误修复，但持续高速工作导致短时间内就出现疲劳感。这种由AI驱动的超快节奏开发带来了新的身心挑战。

OpenAI发布了新的ChatGPT Images功能，这是其人工智能产品的最新升级，旨在为用户提供图像处理能力。