Hacker News 中文摘要

Qodo Command在SWE-bench Verified基准测试中取得了71.2%的成绩，展示了其在真实软件开发任务中的强大能力。该测试基于12个广泛使用的开源Python仓库的真实GitHub问题，要求AI代理在复杂环境中进行代码推理、规划和编辑，体现了Qodo Command在代码审查、测试编写、错误修复和功能生成等实际应用中的高效表现。

Hilary Palmén悼念Christopher Simpkins，他于2025年6月20日去世。Simpkins是一位善良、耐心且知识渊博的人，曾负责Google Sans Code字体的开发。Hilary怀念他谦逊、启发人心和愉快的合作方式，并提供了葬礼信息和相关项目链接。

韩国星巴克因顾客携带大型办公设备如台式电脑和打印机等占用座位，影响其他顾客体验，更新了政策，禁止此类行为。尽管仍欢迎携带笔记本电脑等小型设备，但此举反映了对长时间占用咖啡馆空间的顾客态度的转变。韩国星巴克门店数量已超过日本，成为零售巨头E-Mart Inc.的主要控股公司。

Monero正面临一次成功的51%攻击，Qubic矿池已控制网络大部分算力，可重组区块链、双花交易并审查任何交易。此次攻击每日成本约7500万美元，可能摧毁网络信心，导致其他矿工失去动力。Monero的恢复选项有限，完全被接管的可能性很大，目前XMR价格仅下跌13%。

Devine在2022年11月26日的演讲中讨论了软件行业的现状，特别是对2024年Handmade Seattle会议因引入社会正义议题和多元化演讲者而引发的争议。会议组织者为此道歉，并承诺未来不再邀请自由开源软件开发者。Devine对此表示理解，但也表达了对行业变化的担忧。

口渴是大脑对体内水分不足的反应，水分是所有生命的基本需求，细胞内的化学反应依赖于水和盐的精确平衡。当体内水分不足时，细胞可能膨胀、收缩甚至破裂，尤其是脑细胞功能会受到影响，导致离子浓度失衡和动作电位传播异常。

研究人员发现，大型语言模型（LLMs）的“模拟推理”能力存在显著缺陷，尤其在逻辑推理和泛化能力上表现不佳。尽管这些模型能够生成流畅的文本，但在处理超出训练范围的复杂问题时，其推理能力显著下降，甚至可能产生看似合理但实际错误的结论。这表明当前的模拟推理模型尚未真正实现有效的逻辑推理。

全球生育率危机日益严重，2023年可能成为人类历史上首次生育率低于更替水平的一年。预计到2055年，世界人口将开始下降，这一现象前所未有，影响深远。全球多个国家的生育率已远低于更替水平，包括美国、墨西哥、巴西等，表明这一危机不仅限于发达国家，而是全球性问题。

Markdown通过简化复杂的标签嵌套，提供更直观、快速的写作体验。其核心哲学是用简单的方式替代繁琐的HTML标签，同时允许与HTML混合使用。服务器端处理Markdown文件并将其转换为HTML是常见模式，许多静态网站生成器也采用类似方式。作者对Markdown的喜爱甚至促使他开发了自己的在线编辑器。

StarDict是一款跨平台字典应用，但在X11环境下运行时，会通过未加密的HTTP将用户的文本选择发送到两个远程服务器，存在严重的安全问题。Vincent Lefevre在测试Debian 13时发现了这一问题，并报告给了oss-security邮件列表和Debian的bug追踪系统。安装StarDict时默认会安装包含YouDao等插件的stardict-plugin包，进一步加剧了安全风险。