「可重构计算」共找到 5283 篇相关文章
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
20瓦就能运行下一代AI？科学家瞄上了神经形态计算
当前AI面临“能源危机”，耗电量成沉重负担。科学家正尝试打造占地小、神经元数量堪比人脑皮层的神经形态计算机，其运行快、功耗低。神经形态计算模拟人脑，或成下一代AI关键。
AI时代，CRM的底层逻辑正被重构｜甲子光年
AI正加速改变CRM及SaaS产品形态和市场格局。纷享销客发布ShareAI平台，从连接型向智能型CRM跃迁。AI重构CRM底层逻辑，还助海外SaaS破局，中国厂商或借AI探寻商业化路径。
终于，Claude革了设计行业的命：Figma、Adobe股价重挫
Anthropic 发布全新 AI 产品 Claude Design，能将自然语言等转化为高保真、可交互的设计，为设计师和大众提供创作方式。它遵循自然创作流程，支持协作和多种导出方式，上线后获好评，还给出使用建议。
chardet 从 LGPL 变 MIT：一场 AI 重写引发的开源风波
Python 编码检测库 `chardet` 发布 `7.0.0` 后，许可证从 `LGPL` 变为 `MIT`，维护者称借助 Claude Code 重写。原作者反对，认为维护者无权重新授权。维护者给出辩护，社区反应激烈，争论涉及多个法律问题和不同立场。
吴恩达来信：AI项目时间紧任务重？不妨简化你的构想
吴恩达分享在AI项目中获取实践经验的技巧，若时间有限，可缩小项目规模。他以构建“听众模拟器”为例，展示如何在有限时间利用编程助手完成基础版本，还能获反馈推进项目。
重构线性视觉Transformer，精度与效率双平衡 | CVPR'25
南洋理工、北航与合工大联合提出CARE Transformer，以非对称解耦建模局部与全局，降低计算开销、提升特征表达。实验显示其在移动端低延迟高精度，打破“效率与精度不可兼得”困局。
Turso：用 Rust 重写 SQLite，让数据库跑在每一个边缘节点
Turso用Rust重写SQLite内核，解决其单写者限制和缺乏网络同步能力的短板。它有嵌入式副本、边缘同步和向量搜索等特性，适用于AI Agent、多租户SaaS等场景，与竞品相比优势独特。
Claude Code太难？Coze帮你3分钟做出可变现的 Skills
Claude Code和AI Skills很火，但靠其变现困难，如安装调试复杂、不知如何推广等。Coze 2.0更新解决了这些问题，还提供长期计划能力和新年福利，可让用户无需工程能力参与AI生态价值分配。
MetaAI解锁Transformer潜意识，仅额外3%计算开销，性能提升最高55%
Meta FAIR研究员François Fleuret提出《The Free Transformer》，对解码器Transformer扩展。它通过引入随机变量，让模型先计划后执行，用约3%计算开销，在编程等任务上性能提升最高达55%。