Hacker News 中文摘要

这篇文章讨论了SBCL汇编代码优化，通过对比修改前后两段机器码（从14字节缩减到9字节），展示了如何精简指令编码。作者还提到F18芯片的独特设计理念——仅提供10个堆栈槽位，认为过多槽位是设计不当的表现，并指出静默溢出对熟练开发者有实用价值。文章体现了对底层代码优化的深入思考。

OpenAI的模型推翻了离散几何中一个存在80年的核心猜想。该猜想由数学家保罗·埃尔德什提出，认为平面单位距离问题中"方形网格"构造是最优解。OpenAI模型发现了一组无限案例，证明存在多项式级改进方案。这一突破性发现已获外部数学家验证，并发表相关论文阐述其重要性。

网友讨论谷歌是否应就铁路事故发表公开声明，认为作为大型科技公司应提高透明度并承担社会责任。该话题在Hacker News上引发热议，获得76个点赞。

2026年5月19日，Railway平台因Google Cloud错误暂停其账户导致服务中断，影响了所有GCP托管的基础设施，包括仪表板、API和网络组件。中断持续约8小时，随着缓存网络路由过期，问题进一步扩大。报告概述了事件经过、应对措施及未来预防方案。

Pokémon Central Wiki抱怨称，这个运营15年的意大利知名宝可梦信息网站最近在谷歌搜索结果中几乎消失不见。

谷歌AI系统正被恶意操纵传播虚假信息，如健康、财务等关键领域的误导性答案。BBC调查发现，仅需20分钟就能诱使ChatGPT和谷歌AI输出不实内容。目前谷歌等公司正在努力解决这一漏洞问题。

田纳西州退休警官拉里·布什尔特因发布讽刺特朗普的表情包被拘留37天，随后以侵犯宪法权利为由起诉当地警方和县政府。2026年5月双方达成和解，拉里获赔83.5万美元。他称此案捍卫了公民参与公共讨论的宪法第一修正案权利。

Firefox 148版本起默认禁用asm.js优化功能，未来将完全移除相关代码。asm.js作为JavaScript子集仍可正常运行，但建议改用WebAssembly以获得更好性能。asm.js曾是Mozilla为提升网页代码执行速度的解决方案，通过严格类型子集实现接近原生代码的性能，无需额外沙箱或API。

文章核心内容：作者利用AI编程助手在3个月内开发了一个基于Rust的现代化多Paxos共识引擎，性能提升显著（从2.3万操作/秒提升至30万操作/秒）。项目不仅复现了Azure RSL库的核心功能，还针对现代硬件进行了优化。作者分享了AI辅助编程的关键经验，包括代码契约验证、轻量级规范驱动开发等，并展望了AI编程的未来发展。

印度最热地区班达因气温突破48摄氏度，当地从上午10点开始停止户外活动。极端高温迫使该地区采取紧急措施应对酷暑天气。