Codex is reversible computing exemplified

1 · Shane Mulligan · Oct. 17, 2021, 4:29 a.m.
Summary I demonstrate how Codex is reversible computing. Janus https://en.wikipedia.org/wiki/Janus%5F(time-reversible%5Fcomputing%5Fprogramming%5Flanguage) 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 http://github.com/semiosis/prompts/bl...