Hacker News 中文摘要

经过七年的生产实践，Scarf公司创始人兼Haskell基金会董事会成员Avi Press无奈决定放弃Haskell。尽管他深爱这门语言，但出于对Haskell未来的建设性讨论，他坦诚分享了这一艰难决定。

Tim Roughgarden从图灵1936年的理论出发，指出计算机存在无法解决的问题（如停机问题），并探讨了算法捷径的局限性。尽管许多问题可通过巧妙算法快速求解，但旅行商问题等难题至今未找到高效解法，揭示了计算能力的根本边界。

SpaceX计划再发射10万颗星链卫星，使总规模远超现有星座，届时网络将提供千兆级速度，在卫星互联网领域几乎没有竞争对手。

布朗大学化学家通过光电子能谱技术发现，爱因斯坦相对论改变了重元素中三键的结构，模糊了传统教科书对两种独立键型的区分，直接证明高中所学的化学键理论在重元素中不成立。

2025年初的文章探讨了AI爬虫对网站的冲击问题，一年多后情况仍在恶化。大量匿名爬虫通过住宅代理等渠道发起攻击，导致网站流量激增，开放网络的维护日益困难。文章分析了流量来源及应对措施。

苹果公司起诉OpenAI，指控其通过挖角员工和窃取机密文件，非法获取苹果的AI技术秘密，包括Siri和自动驾驶相关数据。

苹果公司于2026年7月10日起诉OpenAI，指控其前员工为OpenAI窃取苹果未发布技术、流程和产品等商业机密。诉讼点名了前产品设计副总裁Tang Tan等人，苹果表示将坚决捍卫团队创新成果。

用户Nick_D和Ruthvik在Google AI开发者论坛发帖，请求不要停用Gemini 2.5 Flash模型。他们表示，该模型在其工作流程和内部基准测试中表现优异，而新版本Gemini 3 Flash和3.1 Flash Lite在性能上均无法替代，希望保留该模型。

该网站是一个交互式战争地图集，收录了人类历史上10584场有名称的战争，时间跨度从公元前3000年至今，数据来源包括维基百科、学术文献等。

根据用户反馈，文章重新评估了12个AI模型（包括GPT-5.6、Grok 4.5、Claude、Muse Spark等）构建4个应用的能力，每个模型尝试5次，并增加了开源模型对比，改进了评估方法，强调结果非客观但更透明。