因为 DeepSeek Harness，很多人才第一次听到崔添翼 @tianyi 这个名字。 我好奇继续深挖了下他的公开经历，发现这人的技术轨迹很有意思。 很多程序员都看过的《背包问题九讲》，第一版是他 2007 年写的。2010 年他已经在维护 NixOS 的 Git mirror，后来 NixOS 正式迁往 GitHub，官方还专门感谢他提供了 NixOS 这个 GitHub organisation。 大学期间他很痴迷函数式编程，研究过纯函数式 B-Tree，还用 OCaml 实现过《Purely Functional Data Structures》。 2013 年找工作，他说自己一直想找一份真正使用 Haskell 或类似语言的工作。看到 Jane Street 全面使用 OCaml 后，他从零开始学 OCaml，写了一个 Lisp interpreter 去准备面试。 最后他同时拿到 Google Mountain View 和 Jane Street 的 offer，去了 Jane Street，在香港和纽约做了接近 9 年的软件开发和量化研究。 中间还有个很少被提到的细节：他 2015 年其实还署名过一篇 AAAI 的 NLP 论文。 2022 年出来联合创办 TSY Capital，做的已经是另一类很硬的系统：Python/AWS 的量化研究基础设施，加上 Rust 的低延迟交易系统。 今年 3 月，他加入 DeepSeek，负责 Harness 团队。现在打开他的 GitHub，两个置顶项目刚好一老一新，《背包问题九讲》和 DeepSeek Harness。 这条线串起来，我大概能理解 DeepSeek 为什么会找他来做 Harness 了。 量化系统和 Agent 有一个很像的地方：上层可以产生有不确定性的决策，真正落到现实世界执行时，状态、依赖、风险、失败恢复和可追踪性都不能含糊。 DeepSeek Harness 这次强调「Everything is a plugin」「Every run is traceable」，底层 Cordis 甚至专门研究如何撤销组件产生的副作用。 算法 → 函数式编程 → 交易系统 → Agent Harness。 未来顶级 Agent 团队里，这种系统和基础设施背景的人，可能会比我们现在想象得多。

来自网友投稿： ocam-zhcomcn 这个网站下载下来的安装包是个病毒，目前他的电脑已经遭殃了，正在解救中🥲 咋说呢，下载软件，一定不要去伪造官网的软件站去下载。尤其是百度搜索的软件，十个里面11个假的。一眼假的网站类别： .com.cn，还有明明是英文软件，却有个什么中文官网的 尽量去用bing（bing也垃圾）和Google。有条件尽量用谷歌，还有如果你真需要一些破解软件或者不知道去哪下载，可以来问我，或者找群友问。

《家有儿女5》 在家里，刘星趁小雪和老妈出门检查身体，拿出飞机杯玩弄起来。 谁知道老妈在车上就像自己的小穴被玩弄一样，直到受不了直接喷了刘星一脸淫水。 看着这画面我下面已经明显湿透，夹腿都缓解不了。 想看完整版点开我的主页下载观看。 #AI短剧# #AI魔改短剧# #MAMA短剧# #热门短剧# #萌妹#

今天主人又带个婊子回来，烂婊子的臭鞋子好重，坠的我龟头孔都撕裂了，烂婊子知道我这个电击器是声控的，被主人操的时候故意嗷嗷叫，我被电击了好久，主人和这个烂婊子做爱快50分钟了，烂婊子被操的嗷嗷叫，都喷水了，我被电击了十几次，快晕了，龟头的孔被烂婊子的臭鞋坠的生疼，被折磨的要死.....

这是一款AI女友的软件 自定义角色，把你现实中的女神AI成你的女友和你深入交流，把女神的照片上传到你的角色里，聊天中女神还会脱衣和你聊骚，你想让她反差她就反差。 -还能AI换脸-屌炸了👇

一边磕头求着男爹坐自己脸上毒龙，一边被掐着脖子耳光，不用调都是一头极品母狗 ps:踩她脸的时候究竟是奖励还是惩罚呢 #调教# #母狗# #骚货# #性奴# #开发# #犬奴# #反差婊# #露出# #sm# #肉便器# #口交# （因平台不能发完整版 完整版看置顶或个人资料）