seen from Sweden
seen from United Kingdom
seen from Australia
seen from France
seen from Malaysia
seen from Australia
seen from United States
seen from Australia
seen from United States
seen from China
seen from United States
seen from France
seen from China
seen from Saudi Arabia
seen from Russia
seen from Türkiye
seen from Luxembourg
seen from Poland
seen from United States
seen from Philippines
When we say “coding has always been the easy part” we’re explicitly drawing a distinction between the act of getting lines of code into a text file and the canonization. It’s the photo negative of “technical debt”. Features of a codebase that resist change, the code that sucks the will to live are measures of an absence of effective canonization.
- Canonization and the Overhang, Kellan Elliott-McCrea
This is the difference between code written for yourself, as part of a greenfield, or as a one off. Canonization is the separate work of turning the “I got it working” version into something the future can build on.
- Canonization and the Overhang, Kellan Elliott-McCrea
How should we think about the value of code that passed the tests versus code that has been socially constructed in a way that leaves the team prepared to operate on it, iterate it, and improve it? How should we think about the value of 200k lines of unintelligible Lean autoformalization?
- Canonization and the Overhang, Kellan Elliott-McCrea
Canonization is the difference between work that does today’s task and work that is accretive. (and value exists in both)
- Canonization and the Overhang, Kellan Elliott-McCrea canonization,coding, ai, coding agents, vibe coding
How should we think about the value of code that passed the tests versus code that has been socially constructed in a way that leaves the team prepared to operate on it, iterate it, and improve it? How should we think about the value of 200k lines of unintelligible Lean autoformalization?
- Canonization and the Overhang, Kellan Elliott-McCrea
The next useful AI coding feature could fit in a very small panel: a verification receipt.
What did the agent inspect? What changed? Which check ran again? Did the second pass come back clean?
Generated code is easy to display. The small record beside it is what lets me review the work without replaying the whole conversation.
Code is the output. Evidence is the trust surface.
Openai launches $230 codex keyboard amid apple lawsuit OpenAI releases a $230 Codex Micro keyboard for AI coding agents, co-designed with Work Louder, as Apple sues the company over alleged hardware trade secret theft....
