Talk is cheap, show me the code - Linus Torvalds In 2026, code is cheap too - design is what matters. StreamNative recently open-sourced a formally-verified protocol for implementing a leaderless log. Their announcement blog sent a message similar to the opening quote (h/t @sijieg ) - that in the age of AI coding harnesses, what matters more is the design/protocol of a system rather than its particular implementation. I wanted to put that to the test, so I took their protocol, took a linearizable metadata store (which the protocol requires) and got cracking: git clone git@github.com:oxia-db/oxia-client-python.git git clone https://github.com/oxia-db/oxia oxia-server git clone https://github.com/lakestream-io/leaderless-log-protocol /code/diskless-python-kafka ( main ) $ ls leaderless-log-protocol oxia-client-python oxia-server /code/diskless-python-kafka ( main ) $ codex # the magic begins Enter fullscreen mode Exit fullscreen mode The One Shot My prompt was simple: Using the Oxia python client (in this…