Modular · MAX source availability announcement
MAX 公开编译器与运行时源码，许可仍有限制
Modular 随 26.7 版本公开 MAX 图编译器、运行时和硬件后端源码。新许可允许免费商用，但限制修改后源码的公开分发和用 AI 重做 MAX，商业托管服务另有标识要求；原有 Apache 许可组件继续沿用原许可。
这里是
Tommy Cheese
今日要闻
全部新闻 →科技与产业新闻，每天更新。
Phoronix · user access code comparison
Linux 7.4 开发分支清理旧用户内存访问接口
Torvalds 合并 48 项提交，清理缺少地址范围检查的 __get_user() 和 __put_user() 旧用法，改用更合适的访问接口。通用代码已完成清理，x86 移除整套旧接口；部分其他架构仍有保留，改动进入 7.4 开发周期。
Microsoft Research · simplified KLS geometry illustration
微软研究院介绍人类引导 AI 辅助 KLS 证明的过程
21 日发布的说明介绍了 Zhao Song 与 Xinzhi Zhang 如何引导 AI 探索证明思路，并由研究者筛选、组合和核验论证。论文 4 日更新版本给出与维度无关的 KLS 常数界；这是理论结果，论文以预印本形式公开，说明未披露所用模型。
前沿研究
全部研究 →人工智能、计算机科学与交叉领域的新论文和研究进展。
论文 / 预印本
AuDQ：用 Agent 发现可审计的数据质量规则
将数据本体、规则版本和来源关联起来，用自主发现与人工引导两种模式生成检查规则。金融、零售两组数据的初步实验支持规则多样性相近，但尚不能证明质量相当；完整执行与根因分析闭环仍待实现。
研究报告
追溯 NIST 椭圆曲线的种子来源
Anthropic 公布复现代码，将五条 NIST 素数曲线的种子对应到 lrand48 与历史时间戳。这不是 ECDSA 破解，部分基点及候选筛选规则仍待解释。
会议论文
PreCoMem：让对话 Agent 区分记忆变化与短暂噪声
结合语义偏离、矛盾证据和检索置信度，决定强化记忆、暂存假设或修正旧事实。在长期对话基准中取得较高总体准确率，并测试信念漂移。结果限于所测模型、数据及评判协议，不能据此认定适用于所有真实用户。
从这几篇开始
专题
最新发布
全部文章 →OpenCode v2 扩展机制研究与接入说明
梳理 OpenCode v2 的内部、外部与 SDK 插件，介绍 Transform、Hook、工具注册、Code Mode 和 Location 生命周期。
再读整洁架构之道（六）边界
讨论如何通过架构边界约束依赖、隔离业务逻辑，并延后框架与数据库等细节决策。
再读整洁架构之道（五）软件架构
从组件划分、关系与通信方式出发，讨论软件架构如何服务于研发、部署、运行和维护，并保留设计选择。
领域驱动设计初识
介绍领域驱动设计的战略设计与战术设计，以及领域、子域、限界上下文等基本概念。
再读整洁架构之道（四）组件构建原则
从模块和类走向可独立部署的组件，整理组件聚合与依赖关系的设计原则。
关于
拥有计算机科学和数据科学背景，我对数据科学开发、软件工程、文学和心理学有浓厚兴趣。
以下是我目前关注的课题：- 人工智能
- Agent安全
- 数据治理
- 数据分析
- 世界模型
经历
软件架构开发
2024 年 4 月至 2024 年 6 月
在腾讯科技有限公司（中国北京）实习，致力于为 QQ 服务与部门内部业务开发高质量的软件解决方案。
最近课题：
见习
2023 年 7 月—8 月
参加国际领导力提升项目并获得结业证书。
全程参与墨尔本大学创新项目 Wall Breaker 的设计与开发。
联系我
如果您有任何问题或想法，欢迎发送邮件交流，或在页面底部留言。
评论
使用 GitHub 账号参与讨论，所有语言版本共用此评论区。
在 GitHub 查看讨论查看旧评论（Disqus）