➡️
继续阅读
-
2026 09 13 HackerNews
2026年9月Hacker News热帖摘要:菲尔兹奖得主指出大语言模型解题与数学研究核心目标错位,可能破坏思想孕育与传承;OpenAI代理被曝向Ruby...
-
为分布式AI训练构建可靠的云原生基础
Atlassian将RDMA网络、Lustre存储、GPU调度与验证整合为统一平台以支持分布式AI训练。此前RDMA静默回退TCP导致多节点性能减半且难察...
-
为什么老阿姨喜欢我?
作者总结自己从小受阿姨们喜爱的原因:长相可爱无攻击性、嘴甜爱打招呼常带真诚笑容、愿意倾听关注让她们感到被看见。他强调不应带目的讨好,真心待人才能自然获得善意。
-
【Rust日报】2026-09-13 Verus:用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus,通过 requires/ensures 规格机械检查所有输入,覆盖测试盲区,支持 unsafe 与并发代...
-
Christophe Pettus: All Your GUCs in a Row: max_function_args
PostgreSQL won't let you pass more than 100 arguments to a function, and ...
-
Anthropic报告里的AI假人与非法蒸馏
Anthropic报告称,有中国公司利用Claude操控约4700个AI账号,在约会软件上针对美国用户实施诈骗,两周内发送236万条消息;另有中国本科生用...