9272 分
数学的开端:适应数学实践以应对人工智能的进步
Daniel Litt 认为,人工智能在数学领域的快速进步——达到国际数学奥林匹克竞赛(IMO)金牌水平并自主解决未解问题——已经导致数学文本的产生与人类理解脱节。他呼吁进行制度改革,包括以严格的口头答辩为中心的博士评估以及培育研讨会文化,以在人工智能生成的数学环境中保存数学专业知识。
阅读全文 →10248 分
快速 Tokio 应用的编程原则
拉塞尔·科恩(Russell Cohen)列举了编写高效异步 Tokio 应用的实用原则,涵盖延迟与吞吐量的权衡、全局资源竞争、互斥锁风险、并发限制、工作者隔离以及多运行时部署等高级策略。
阅读全文 →11656 分尚无解读
Dario, Please (rdi.sh)
12395 分尚无解读
Registration without a phone number on Signal will use zero-knowledge proofs (signalusers.org)
18305 分尚无解读
Charts built for Chat (dbtcharts.com)
21182 分尚无解读
Compressing a flag to 11 bits (vantezzen.io)
22223 分尚无解读
People who can't picture anything are rewriting the science of imagination (dailyneuron.com)
27277 分尚无解读
The case against JPEG XL (giannirosato.com)
30315 分
耐克被踢出标准普尔100指数,后市值蒸发2000亿美元
耐克将在2026年9月21日失去其在标准普尔100指数的地位,此前18年的任期因市值蒸发超过2000亿美元而结束,该跌幅超过其2021年的峰值。
阅读全文 →

