Blog
Notes from building the Logos language — design, internals, releases.
RSS feed-
The Phase Transition
Model capability on a codebase doesn't grow smoothly — it jumps when accumulated declarative structure crosses a threshold. An observation, a mechanism, and a falsifiable prediction.
-
The Compiler Is a Sensor
The ceiling on language strictness was never technical — it was emotional. The new primary author of code has no feelings to protect, and that repeals a fifty-year-old design constraint.
-
Worse Is Better Was a Law of the Carrier
Gabriel's law held for thirty years because designs spread through human heads — a fixed-bandwidth carrier. The carrier changed, and the selection regime of software design flips sign.
-
The Failure Mode Humans Don't Have
AI-built systems fail in a characteristic way — every feature present, every common path working, every tail silently missing. Countering it takes an external corpus, not a better prompt.
-
The Model Cannot List What It Knows
A trained model is a compressed forward-only program — cheap to query at a point, impossible to enumerate or invert. Most of what goes wrong in AI-written code follows from that.
-
Attention Is the Budget
Notes for engineering leadership — what AI actually changes about team throughput, and why the scarce resource is now attention, not typing speed.
-
One System, One Dynamics
There is no such thing as model performance on real work — only the performance of the loop that contains the model, the tooling, and a human who signs the result.
-
Attraction Basins
Agentic coding is a fixed-point iteration. Its failure modes — loops, drift, confident nonsense — are geometry, and geometry can be engineered.
-
A Model Is Not a Calculator
Language models generalize; they do not execute. Where each regime applies is the single most useful fact for anyone building with agents.
-
Your Language Has Two Users Now
A growing share of real code is written by models. That splits a language's audience in two — and most language-design defaults were calibrated for only one of them.