The Codex Incompleteness Theorem

A few Codex gaps with workarounds.

Codex will create a .git directory - but without initializing. Before you check in code, do a git init.

For Windows, IDE based builds won't work - as settings need to be done in the GUI to persist in config. This makes debugging from the IDE difficult - "if I change settings in IDE for my ease of debugging will it break build process used by Codex?"

mTLS - building machine to machine trust

What is mTLS? 

mTLS is also known as mutual TLS, after the ubiquitous security protocol. It is used in environments where machine-to-machine trust really matters.

Where in general is mTLS used? Where specifically is mTLS used? Did someone say "Kubernetes service mesh"? I think so! 

It's not generally used for public websites, but inside serious enterprise systems, it's a standard way to guarantee only authenticated services speak to each other.

Examples in modern infrastructure include: Kubernetes service meshes (Istio, Linkerd), API gateways, internal microservices, banking and trading and zero-trust networks.

Is mTLS a standard?

It's a section in TLS standard.

Codex for Windows

Codex is a programming model from OpenAI. It has a Windows desktop application (633 MB download).

Codex is adept at using PowerShell to build software. An example could be the following:

powershell -ExecutionPolicy ByPass -File .\build.ps1

It will also create a Markdown file (README.md) giving a summary of the software including build instructions and behavior (reflecting the instructions/intent expressed by the user in the Codex console).