Kuo Ting-Kai

Tensor Network/QML/Visualization/Edge Vision/Web

[Xudong Han @Xudong07452910]

因为 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 团队里，这种系统和基础设施背景的人，可能会比我们现在想象得多。

[Kuo Ting-Kai @TingKaiKuo]

I believe all future software modules will undergo this process of "agentization" (a term I coined)—a fundamental step up in the level of abstraction.

[Kuo Ting-Kai @TingKaiKuo]

I think Jiayi Weng already dropped some hints about heuristic learning (HL) during his previous podcast. To me, the logic behind HL feels very practical and down-to-earth. After all, it's the distilled experience of an AI infra expert from OpenAI.

[Kuo Ting-Kai @TingKaiKuo]

Theoretically speaking, it elevates the meta-learner from the algorithmic level to a higher abstraction layer, where the agent itself becomes the module.

[Kuo Ting-Kai @TingKaiKuo]

以前跟光學部門交流metalens 的時候用過meep
後來做NVMe controller的時候碰過OCP telemetry
現在透過CPO串起來了

[Kuo Ting-Kai @TingKaiKuo]

哈密頓量與拉格朗日量的原始面貌
也許會隨著古典物理聖殿在時間長河中的風化日漸模糊
但它們的魅影縈繞在在新一代開拓出的 令人意想不到的廣闊天地
他們倆孿生兄弟早已披上一層新皮 化身為機器學習的損失函數、經濟學的效用函數與統計學的概似函數 及其他無數分靈體
展開後續一場場的偉大征程

[Frank Nielsen @FrnkNlsn]

Siegel upper space = complex symmetric matrices with positive-definite imaginary part

Siegel upper space or disk space (generalizes Poincaré disk) via Cayley transform is a non-positive curvature (NPC) complex matrix manifold

👉https://t.co/CdAOsgVaAn

[FFmpeg @FFmpeg]

Hugely impressive patchset from "mkver" porting old MMX code to hand written SSE2 assembly, making sure old platforms like 32-bit still work.

Up to 10x faster than C.

https://t.co/B5SZJNf0oN

[Menci 💖 @lcMenci]

又开始 React vs. Vue 了
我最早重度用 React，是因为当时 React 有 Hooks，但是 Vue 不仅没有 script setup，typing 也残废，没有 Proxy 的 reactivity 方案还很 Hack
五年后呢，Vue 什么都有了（虽然 typing 还是不够原生，很多行为还是很奇怪），但 React 还是那个 React，只多了跑两遍的 useEffect

[Kalan @kalanyei]

一月份的時候想說 Cursor 應該短期內會是第一吧就直接年繳，後來 Zed 越來越讚；Claude Code 碾壓全場，Cline 好像也不錯，進展太快還真不適合年繳

[Kalan @kalanyei]

終於解開了我長久的疑問！
為什麼日本沒有設備與系統共同接地。看影片是說若要做到設備與系統共同接地要大改他們的電路基建，所以一個快速的方法是配電盤都裝個 GFCI。這樣一來沒有電器接地也算相對安全。然後近幾年政府慢慢要求插座在廚房浴室要接地
https://t.co/wyKINMNh62

[Kuo Ting-Kai @TingKaiKuo]

@kalanyei 我的Bass已經在老家生塵

[Kuo Ting-Kai @TingKaiKuo]

好久沒用pennylane看文檔多了蠻多功能
例如dynamic Lie algebra
感覺可以去解一些issue跟寫enhancement

[Kuo Ting-Kai @TingKaiKuo]

修修quimb（tensor network library )的bug issue
https://t.co/NoMPSAxnDN

[𝐒𝐫𝐢𝐧𝐢𝐯𝐚𝐬𝐚 𝐑𝐚𝐠𝐡𝐚𝐯𝐚 ζ(1/2 + i σₙ )=0 @SrinivasR1729]

A wonderful gift from my student. There's nothing more a mathematician could ask for.

[Kuo Ting-Kai @TingKaiKuo]

有人熟activityhub的嗎

[julesh @_julesh_]

Here’s the Haskell code that falls out of my magical mystery tour through pseudofunctors, the 2-Grothendieck construction and homotopy categories. Reckon I deserve a slow clap

[Kuo Ting-Kai @TingKaiKuo]

都沒空看

[Kuo Ting-Kai @TingKaiKuo]

Quantum speed limits的code

https://t.co/BBbJl8ibjO

[Kuo Ting-Kai @TingKaiKuo]

日本讀書大國
一堆人看細道和夫書