Post

Writing code has become a lot faster, but understanding code hasn't. What can we do about that?

The biggest problem with vibe coding is understanding the state of the code base at any given time. The reason to write code yourself, or to review all the code written by an agent is to have a clear mental model of the program. This is still a major bottleneck.

8/1/26, 11:34 am0 reposts3 likes

cloudhead

@cloudhead.io

8 Jan

Don't say "there's no need to understand it", the code is not just the code, the code defines the program and user experience fully. Not having a clear grasp of this is a problem, because the agent doesn't make better decisions than you with regards to your product.

gozala

@gozala.io

8 Jan

My working hypothesis is that we need higher level language for domain modeling, one that is more like spec defining expectations and helps you just like type system help you think about all possible states and relations across component.

gozala

@gozala.io

8 Jan

I am also inclined to think algebraic effects are part of this equation as a way to narrow down possibility spac and definition constraints more clearly

gozala

@gozala.io

8 Jan

I think acornprover.org is a good example in this direction where how LLM came to prove is not important because expectations are well defined and so are capabilities. However this is very narrow use case and I think we need something like that but more general purpose

acornprover.orgThe Acorn Theorem ProverPerfectly rigorous mathematics, as simple as possible.