The Tower Keeps Rising

(lucumr.pocoo.org)

97 points | by cdrnsf 2 hours ago ago

29 comments

  • tekacs an hour ago

    I've said for a long time that composability in software is a bit like playing Tetris: the lines have to clear.

    I feel like that gives an even more literal tower-rising metaphor, and that's what it feels like people using agents naively (and software engineers of lower skill or earlier-career), end up violating.

    Agents are getting better at folding things into themselves, especially if you direct them to... but unfortunately I've found that the architectural instincts, even of Fable and 5.6 Sol, are still wildly behind what I reflexively achieve, say.

    For sure there is an ability to have agents go back over work and try to fold it into better and better abstractions until it's sort of annealed into something good. I've done something similar on codebases that I have, but the 'high reaches' of architecture with great _prediction of how the software will evolve in the future_ in _subtle_ ways – those are, for now, out of reach of agents.

    There is a part of me that wonders if it's partly just how much they can hold in their head right now, though. Even with the greatest articulation and high density of feeding them, the current setups don't allow them to hold a high-quality, sparse, 'zoomable' model of the world in their head that well yet, which we can do pretty well.

    But the fact that I'm talking about it in terms of that kind of subtlety is itself promising, I guess?

    • Animats 44 minutes ago

      The upper bound on program complexity used to be the power of the human mind. "Vibe coding" can break through that barrier. But not because the problem being solved needs that complexity. Because the process does not drive itself towards compact abstractions. It's the AI-powered version of the scaling problem Brooks described back in "The Mythical Man-Month". The combinatoric problems get worse with scale. Concretely, multiple similar implementations of roughly the same thing appear in different parts of the project. This is a known problem of vibe coding now.

      We need some way to make AI-driven coding strive for parsimony.

      • conartist6 36 minutes ago

        Why would it? It has optimized what it was built to optimize: this is the token-selling industry. Take note that the people hawking the dream of a gold rush are not actually mining but selling shovels

  • apinstein an hour ago

    > The shared language of a software project is not English or Python but it is the common understanding of what its concepts mean, where the boundaries are, which invariants matter, who owns what, and why the system has the shape it does. This language is rarely written down in one place. It lives partly in documentation and code, but also in code review, conversations, arguments, and the experience of having to explain a change to somebody else.

    This is so true. I am a big fan of Christopher Alexander’s “Pattern Language” concept, which addresses this exact problem! In fact he recommends developing your own pattern languages for your own domains (which of course led to the famous GoF Design Patterns book).

    I have been experimenting with a “Pattern Language” skill which instructs the AI to maintain 3 pattern languages for every project. One in the business domain, one in the product domain, and one in the technical domain. It is working really well. It is always super cool to see it reference the pattern languages during planning and curate them during implementation and review.

    I credit using it with keeping my 100% ai-coded projects well organized, aligned across domains, and easy to work on.

  • sixtyj an hour ago

    > There is the appealing idea that AI-assisted programming means better tools which lets us build more ambitious software. That is certainly true at the level of the individual and without doubt a developer with an agent will be dramatically more capable of changing a codebase. But large software projects have never been limited only by how quickly an individual can produce code. They are limited by how well people can coordinate their understanding of the system they are changing.

    So true.

    Since Nov 30, 2022 everything has become… more complex.

    • pixl97 34 minutes ago

      >Since Nov 30, 2022 BC everything has become… more complex.

      FTFY

      Increasing complexity is the story of mankind. It's the story of civilization.

      Someone from 20,000 BC would wander around the earth trying to find food, trying not to freeze, and trying not to get eaten. Someone from 5,000 BC would be trying to grow food, hoping it rains, and hoping disease didn't wipe out the village. The second one increases the complexity from all the systems required to manage people and keep the land growing. Today the vast majority of people on earth don't grow their own food at all, and instead are busy in some way managing the complexity of a large society.

      Someone from 1970-80 would think our software from pre-llm days was vastly more complex. They'd just code directly to the hardware with no abstraction layer. Now almost no one does that. We abstracted the hardware away in most cases. With cryptography libraries for the vast majority of people it's complexity is abstracted away and mostly people are told "don't try to write your own crypto because you will fuck it up".

      The question now becomes, how quickly will LLMs be able to coordinate their understanding of the system they are changing?

    • calvinmorrison an hour ago

      I don't know. some stuff has gotten less. Major databases now ship effective HA tooling, microservices seem on their way out, structured databases seem to be back in instead of NoSQL.

      HTML and pre-rendering are back in, HTMx, liveview

      The degaussing of CSS and the hacks we did, hell i was trying to explain how we debugged web pages in IE6 to a younger staff member today.

      Some things are more complex, some things got good enough to make them less complex.

      • paulryanrogers 38 minutes ago

        > Major databases now ship effective HA tooling

        Which ones? PostgreSQL doesn't have HA in core.

        • calvinmorrison 36 minutes ago

          MySQL 8, but upon review that was 2018. 5.7 had some but it's certainly improved overall since then as well

  • ssivark 16 minutes ago

    The core thesis of this essay is reminiscent of the Lisp Curse [1] / Bipolar Lisp Programmer [2].

    It's been a few years since I read these, but if I recall the argument there, it was that Lisp makes it so easy to build stuff and scratch exactly your own itch, that there's no real strong push for lisp programmers to come together and collaborate to build non-trivial and general purpose artifacts. And that is why the landscape of public lisp software is poorer as a result, compared to languages which demand much more effort to get anything substantial done.

    Armin seems to be making a very similar point about AI coding.

    [1] https://www.winestockwebdesign.com/Essays/Lisp_Curse.html

    [2] https://www.marktarver.com/bipolar.html

  • alwa 40 minutes ago

    I come back to Babel and the Bruegel image too, although taking from it a little less optimism.

    I feel these systems rising and sprawling with wee myopic agents developing out their little corners of this unknowably vast whole… a tower with 50 parapets on one side and some wacky cantilevered maiden tower on the other, and a very serviceable adobe roof over some patio for god-knows-why, and thatch over the landing next to it…

    Some grotesque fatberg of designs that make sense at the level of individual design efforts, but that lack the fractal sort of levels of policy and judgment that unify the overall enterprise.

    The overall language, as it were.

    And language takes discipline to establish and maintain through any sufficiently large group of people—witness the company-speak or army-speak of pretty much any successful organization.

    We feel like we’ve conquered the problem of talking the same language as our “Gastown Mayors” (who in turn are talking the same language as their “polecats” and so on all the way down the chain of golems)… but it’s only when it’s all built that the good Lord will humble us… that we’ll realize the understanding we thought we’d transmitted perfectly from our thrones wasn’t quite so shared as we’d imagined.

  • jeffreyrogers an hour ago

    My comment is not directly responding to the essay, but it got me thinking about about how agentic programming is much more akin to management than it is to actual programming. Managers generally only have a high level idea of what ICs are working on and often don't have the time, bandwidth, and in some cases ability to understand everything the ICs they're supervising are doing. As more and more software gets written agentically the role of software engineer becomes less technical and more managerial.

    • snarf21 41 minutes ago

      It feels to me like I'm stuck doing code reviews for a junior dev all day so I use it as little as possible and mostly to look for things I may have missed.

      • gwbas1c 16 minutes ago

        It's great for "mechanical" changes.

        For example, yesterday I came across some unit tests that didn't have error messages in their assertions. Normally, it takes me ~10 minutes to fix a handful of tests in this situation. In this case, I gave a 2-3 sentence prompt, went to the bathroom, and reviewed the result after I washed my hands. Saved me a bunch of time!

        I encourage you to accept a feeling of "imposter syndrome" when using it, and keep trying new things with it. Don't feel like you have to be hands off, except when you're confident that you can be. (IE, if you think you need to spend 30+ minutes on mindless refactoring, see if you can explain it to an agent and then look at HN while it runs. You might get a good result, otherwise, it probably was time for a break anyway.)

        BTW: It's important to try different models. The Claude 5.0 models are slow and give me bad results, so I'm sticking with 4.x for now.

  • overgard 3 minutes ago

    I feel like this is missing the ending of "until gravity wins"

  • prymitive an hour ago

    It used to be that you need a good reason to make huge refactorings, because it’s often so much work. Now agent can rewrite half of your code if your prompt is vague enough and you don’t actual try to review it all. And so the “soul” of a program can change dramatically every single day. It’s both great and very much not so.

    • Xirdus 44 minutes ago

      The biggest obstacle to huge refactoring has always been minimizing the risk of bugs, not losing any features, and ensuring compatibility with the existing ecosystem. The reason it's become easier in the age of AI is because we stopped caring about these things.

      • sarchertech a minute ago

        Yep. That’s what people are forgetting. If you have an application that many people depend on to do real work, to make money, you won’t survive if you allow AI to constantly make huge changes.

        Your test suite doesn’t cover all workflows. It doesn’t cover every combination of actions a user can take. So every big AI refactor while change some of those.

        If this is happening frequently, your software will feel like a janky piece of unusable crap.

  • trjordan 23 minutes ago

    The agent will always fill in the gaps in your understanding. It's not a compiler. It's categorically different from any of the other ways we've built software.

    I'm not sure reading code is coming back. The ritual of reading code must come back, because that's the only way to build products that don't collapse under their own incoherence, both technically and visibly.

    "just ask Claude" is fine, but it's not the end state

  • __0x01 9 minutes ago

    Agents are very good at making us think the tower is rising, when in fact it is falling beneath our feet.

  • fantasizr 8 minutes ago

    ai eliminating friction is eliminating learning and understanding. this is felt with more severe consequences in K-12 writing and music.

  • beardyw 19 minutes ago

    No, the story of the tower of Babel was:

    "we can, so we should".

    It ended badly.

  • conartist6 an hour ago

    Does it really keep rising? Many of my fondest memories of technology come from times past...

    • CobrastanJorji an hour ago

      I interpret "keeps rising" negatively. Changes keep getting made, certainly. The AIs will perhaps never fail to fulfill your feature request. But there's no overall plan. It's just undirected, cancerous growth. It's Homer Simpson telling a team of automotive engineers to add feature after feature.

    • GlickWick an hour ago

      The tower is not about fondness, its about growth

      • conartist6 an hour ago

        Is growth enough if technology makes our lives worse? Is a tower the pride of the civilization if a strong gust of wind could bring it down? It is before the gust, when all that matters is that the tower is tall rather than strong. After the gust, things are a bit more nuanced. Fingers are pointed.

        The tricky part here is that you can't tell if a once-topmost part of the tower is sturdy until a great deal more tower is resting on it. Well, now a lot the economy is resting on little other than AI dreams. Your move, rational people.

  • jagged-chisel 42 minutes ago

    ... and narrowing.

    Where the "tower" was once a company (or team?) of human devs, it can now be a single dev and their agents.

    The right engineer can likely replace non-technical co-founders with a couple LLMs. Geez, I can't wait to write that article...

  • m3kw9 an hour ago

    You use a shared agents.md and an auto updated architecture doc but that is the one that needs to be heavily scrutinized and everyone gets a turn to review it.

    • jagenabler2 19 minutes ago

      this doesn't work in any truly complex system. If the entire organization's shared understanding could be captured in a few documents, software engineering would've been a solved problem ages ago.