DeepSeek releases Harness with formal paper, inspired by Jane Street's functional programming
sudoraohacker · x · 2026-08-15
DeepSeek released its Harness, accompanied by a paper titled 'A Programming Paradigm for Spatiotemporal Composability' instead of a typical tech blog. The paper formalizes the programming paradigm behind Cordis, covering effects, coeffects, context transformation, and inverse. The Harness design philosophy is 'everything is a plugin.' One of the authors, Cui Tianyi, spent nine years at Jane Street, influencing the formal approach.
More from coding & agent
- Coding agents keep opening 3 stacked PRs per chat, and merging them is a nightmare — holdenmatt · 2026-10-16
- Google-led paper uses sequential auctions to organize decentralized LLM agent workflows — _onionesque · 2026-10-16
- Since OpenAI's math release, GitHub contributors keep driving down the integer-multiplication kappa — xennygrimmato_ · 2026-10-16
- Pattern MCP makes coding agents check existing components before writing new code — DonR954 · 2026-10-16
- Zero-keyframe procedural spider walks walls and ceilings using pure raycasts — yshan2u · 2026-10-16
- OpenCode v1.19.2 keeps 1.x installs off the 2.x update path — opencode-agent[bot] · 2026-10-16