Codex is reversible computing exemplified

1 · Shane Mulligan · Oct. 17, 2021, 4:29 a.m.
Summary I demonstrate how Codex is reversible computing. Janus Janus is a reversible programming language, i.e. it supports deterministic forward and backward computation by local inversion. A language like Janus for reversible non-deterministic inference is sorely needed. Codex Codex is non-deterministic forward and backward inference. Example, json <-> jq Prompt