OpenAI has recently published a detailed architecture description of the Codex App Server, a bidirectional protocol that decouples the Codex coding agent's core logic from its various client surfaces.
Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.