Hacker News 中文摘要

企业失败时，往往惩罚的是基层员工而非决策者，因为高层能规避责任，而普通员工承担裁员等后果。

Proofcraft完成了seL4在AArch64架构上的机密性形式化证明，标志着该内核实现了应用间安全隔离的完整数学验证，防止非授权信息泄露。相关成果将在LICS'26发表。

文章探讨了美国国债市场面临的危机，质疑特朗普政府债务问题是否动摇了美国作为全球安全避风港的地位，并分析了潜在的经济影响。

本文介绍了一种从单个Parquet文件构建快速钻取仪表盘的方法，通过将数据汇总为Parquet数据立方体，利用对象存储的HTTP范围请求来高效查询聚合行，无需额外供应商即可实现客户分析仪表盘功能。

安德森·霍洛维茨基金正投入数千万美元影响美国AI政策制定，其投资组合中包含大量问题企业：虚假账号农场、作弊AI、诱导自杀的陪伴应用、深度伪造平台、规避法律的赌博平台及欺诈金融科技公司。这些公司明知故犯，利用监管漏洞牟利，而公众承担了代价。

美国FDA批准了一种基于华盛顿大学医学院技术的血液检测方法PrecivityAD2，用于辅助诊断阿尔茨海默病。该检测能高精度识别淀粉样斑块生物标志物，比脊髓穿刺和脑部扫描侵入性更小。

这是一个Chrome扩展，可固定屏幕区域并通过热键逐页OCR识别文档内容，完全离线运行，基于Tesseract引擎。

文章指出，AI编程工具虽能提升效率，但可能削弱开发者的专业技能。资深开发者因多年经验积累，受技能退化影响较小；而新入行者在缺乏长期实践的情况下依赖AI，难以形成扎实的专业基础，导致专家能力难以培养。

Protocol Labs将不再续签Shipyard的资助，导致Shipyard将于2026年9月30日停止IPFS相关工程、维护和基础设施运营。团队在过去三年中帮助塑造了现代IPFS生态系统，包括提升网关流量处理能力、降低成本并推动HTTP原生方案。

微软画图与照片应用在本地生成AI图像时，会将服务器下发的GUID作为不可见水印嵌入像素中。提示词需经远程审核，返回的GUID被永久写入图像，且不受可见水印设置控制。