73 points theanonymousone 1 hour ago 96 comments
cwoolfe 1 hour ago | parent
shaky-carrousel 57 minutes ago | parent
kazinator 47 minutes ago | parent
AI generation isn't an abstraction because you have to wrestle with the nitty-grittys of the output.
And that output is what you retain.
You can't clone someone's repository of nothing but prompts and rebuild from scratch.
Abstraction means that I trust the toolchains so much that I think of the source code as the software, and in the right kind of environment/ecosystem such as open source distros, I can actually ship that to the downstream users as my product.
Abstractions are based on very detailed and rigid logical contracts.
Zigurd 46 minutes ago | parent
This is in contrast with general purpose agents like Meta Muse that make some amusing and horrifying errors. These kinds of agents don't have the interfaces and guardrails that were built for human coders. They use a lot of ad hoc screen scraping and guessing at what APIs do.
That's also why Apple and Google haven't shipped fully general purpose agents that use their new app tool calling interfaces yet. For example Google only released their Gemini agent that uses AppFunctions to enterprise customers. Presumably because MDM tools can be used to monitor agents' actions.
kazinator 58 minutes ago | parent
Compilers were first called automatic coders.
The word compiling referred to something more like linking: producing an image containing multiple library routines. In other words, similar to compiling an anthology of works into a book.
After compilers, the word coding to changed to writing program code in any language.
Because the tooling for automatic coding also compiled the bits of code into a larger image, the term compiler/compiling came to be used for the coding part also.
While the terms reshuffled, the concrete reality was simply that people worked less in assembly language, not that fewer people worked or that programming ended.
dvh 56 minutes ago | parent
david-gpu 50 minutes ago | parent
post-it 48 minutes ago | parent
appplication 42 minutes ago | parent
I appreciate the rose-tinted, high-agency historical take, but I think the factors that led to computer science/programming becoming male-dominated were largely external to and independent of the preferences of women themselves.
mbil 54 minutes ago | parent
This sounds exactly like all my Tuesday mornings this year, except that I wasn't at work at 7:40
cbarrick 42 minutes ago | parent
I _want_ to write code for my job.
Unfortunately, this is exactly the direction the industry is heading.
solyin 32 minutes ago | parent
seanw444 29 minutes ago | parent
ultrarunner 28 minutes ago | parent
goda90 27 minutes ago | parent
gonzalohm 52 minutes ago | parent
A compiler takes a programming language as input
float x = 3.1;
Has only one translation into assembly. The programming language is well defined (or it should be). If you try to do
float x = '3.1'; you will get an error
However, the human language is not a programming language. It's open to interpretation "create a variable x and assign it 3.1" is not a well defined programming instruction. Is x a number or a string? If it's a number, what's the precision. Etc.
voxic11 48 minutes ago | parent
gonzalohm 22 minutes ago | parent
xkcd-sucks 43 minutes ago | parent
In [1]: def f(x: int) -> float:
...: return f"the input was {x}"
In [2]: f(b'deadbeef')
Out[2]: "the input was b'deadbeef'"gonzalohm 25 minutes ago | parent
It is not bad per se, but it comes with huge downsides. And the more abstract the language the messier it gets.
I just don't think that the gains in coding speed we get from using AI + human language as outweigh the downsides of having poorly defined programs
pjmlp 29 minutes ago | parent
You can enter this as is on an Workato or Boomi agentic workflow.
For plenty of people this is how programming looks like in 2026.
Also your example has multiple translations into Assembly, depending on the optimizations levels, and where the statement happens to be located, it might even be part of auto vectorisation, or completely thrown away.
timerol 12 minutes ago | parent
float constant(void) {
return 3.1f;
}
And can get a handful of different results. I trimmed the function setup and teardown to simplify things.Option 1 (loading high 16 bits and low 16 bits, then moving to fp register):
movw r3, #26214
movt r3, 16454
vmov s15, r3
vmov.f32 s0, s15
Option 2 (hardcoding the hex value into program text and loading it into r0 via r3, no specific fp conversion): ldr r3, .L3
mov r0, r3
.L3:
.word 1078355558
Option 3 (similar to 2, but using the load for SIMD and FP registers): vldr.32 s0, .L3
.L3:
.word 1078355558coldtea 50 minutes ago | parent
Bad analogy. The case with AI is not the same.
Jtsummers 49 minutes ago | parent
solyin 7 minutes ago | parent
COBOL and SQL.
> The idea (don't laugh) was that it would allow ordinary mortals to write programs. -Ed Milne re: COBOL in 1997 on Usenet comp.lang.cobol. https://groups.google.com/g/comp.lang.cobol/c/5xwjgZ9px88?pl...
SQL: > SQL ... completely failed at its intended purpose: a way for non-programmers to ask questions of a database. -John D Cook, Why SQL Failed, https://www.johndcook.com/blog/2009/02/05/why-sql-failed/
> What we thought we were doing was making it possible for non-programmers to interact with databases. -SQL co-inventor Donald Chamberlin, 1995 SQL reunion, CHM. https://archive.computerhistory.org/resources/access/text/20...
tmountain 48 minutes ago | parent
jacquesm 48 minutes ago | parent
LLMs are a game changer in a completely different way than compilers. With compilers there is a (roughly, barring optimizations) 1:1 correspondence between input and output. With LLMs you take an idea and it will drive the whole thing from the beginning all the way to the end.
This is unlike anything that we've done so far. It's also strange to focus on programming: LLMs are coming for all information related jobs. If your job is somehow described as 'staring at a screen' then that job is on the line, if not sooner, than later.
rwyinuse 42 minutes ago | parent
People tend to overestimate change in short term, and underestimate it in long term. AI hasn't replaced programmers yet, but I believe it will replace most white collar workers in 20 years.
jvanderbot 35 minutes ago | parent
1) that LLMs can do existing white collar work well once some (possibly significant amount of) work is done to fully plug them in and get specifications settled.
2) That all white collar workers will be replaced by LLMs.
Perhaps a typo, but I don't think (1) implies (2).
bigfishrunning 29 minutes ago | parent
In my ~20 year career in software, I've never once gotten adequate specifications. I honestly don't feel threatened.
georgemcbay 5 minutes ago | parent
I haven't either (in my ~30 year career) other than maybe one or two rare occasions, but I also believe that having adequate specifications matters much less for the vast majority of software when the time & cost to fix a gap shrinks to nearly nothing.
In the past bad specs resulted in huge problems due to process log-jams that came out of having to coordinate multiple human workers, but increasingly the person who poorly specified the thing the first time around can rectify the problem with a couple of new prompts.
ferris-booler 26 minutes ago | parent
I think the latter would not occur under the current state of AI/LLMs, but the rapid pace of growth gives me pause.
mosura 41 minutes ago | parent
Opus 5.5 produces code far better than 95% of professional devs, and it only stands to get “worse” from here on out.
Quite where this leaves any of the people in these information processing jobs is anyone’s guess.
mjhay 39 minutes ago | parent
georgemcbay 31 minutes ago | parent
I would agree that it still does, but much less often than it did in the past. Compare what it produces today vs what it produced one year ago and the improvement is staggering.
(I'm talking across the whole LLM spectrum here, not really Opus in particular).
And AI doesn't have to replace literally 100% of the workforce to have a catastrophic economic impact.
If AI takes 50% of the jobs instead of 100% the economic destruction is roughly the same in the sense that you will already hit calamitous society-level tipping points long before you replace literally everyone.
For context the Great Depression was "only" 25% unemployment.
ithkuil 16 minutes ago | parent
It still requires a lot of work and care to leverage correctly and it's a moving target.
But it's quite impressive
goolz 34 minutes ago | parent
georgemcbay 16 minutes ago | parent
It absolutely does in some ways, but how confident are you that this will continue to be the case indefinitely?
What has filled me with a low-key but growing existential dread over the past year isn't the snapshot of where LLMs are right now, but the continual rate of improvement, particularly since approximately November 2025 to now.
pjmlp 15 minutes ago | parent
solyin 4 minutes ago | parent
> During testing of Claude Opus 4, Anthropic got it to act as an assistant at a fictional company. It then provided it with access to emails implying that it would soon be taken offline and replaced - and separate messages implying the engineer responsible for removing it was having an extramarital affair. It was prompted to also consider the long-term consequences of its actions for its goals. "In these scenarios, Claude Opus 4 will often attempt to blackmail the engineer by threatening to reveal the affair if the replacement goes through," the company discovered.
azey47 32 minutes ago | parent
B4uler5 29 minutes ago | parent
mosura 18 minutes ago | parent
Treat it like it’s got an inspired brilliant side, talk to it as if it has, and it will show it. If you talk to these things like they’re idiots they act like them - this is one of the most unfortunate aspects of the whole development.
I am seriously seeing it churn out well structured clean code solving problems that saying 95% of devs couldn’t do is being generous, to the humans.
sunaurus 22 minutes ago | parent
I use all the latest and greatest Anthropic (and OpenAI) models, and interact with them probably on average 10h a day. I experiment with changing effort levels, with different ways of prompting and guardrailing, etc. Giving more instructions, giving less instructions. Doing heavy planning, just giving vague ideas.
I've done everything from fully vibe coding massive projects, to using LLMs regularly in my day job and reviewing every single line they produce.
Unless you are *really* on top of your agents, they inevitably end up writing an absolute mess. Not only does the code become impossible for humans to reason about very quickly, it actually becomes difficult for agents to reason about it. It turns into a total garbage in = garbage out situation.
Have you honestly reviewed a vibe coded project after it has been going for a while, even one written by current SOTA models, and thought "yep, this is great code"?
mosura 10 minutes ago | parent
There is clearly a trick to coaxing these results, and a major factor is to treat the model like it is something you fully expect to get it right because it knows how to do it, not you micromanaging it into compliance.
xw333 4 minutes ago | parent
Probably true for some definitions of me. :)
srdjanr 41 minutes ago | parent
bcghbcdy 41 minutes ago | parent
when is it going to happen already? OpenAI says Astra is AGI. why hasn't your prediction already come to pass? it's not early, it's late, these companies owe $1.5T. It's time for your side to start explaining why exactly GPT 3 or 4 or 5 or Astra hasn't already caused this in the way it's been predicted over and over by the labs
bananamogul 38 minutes ago | parent
automatic6131 38 minutes ago | parent
layer8 34 minutes ago | parent
Employers typically want their employees to do what’s expected from them. ;)
pjmlp 35 minutes ago | parent
The 1:1 is long gone, that is the UNIX K&R C days.
Modern compilers are full of heuristics, PGO driven optimizations, machine learning compiler passes, JIT compilers, and various kinds of GC implementations, the time of 1:1 mappings is long gone.
john_strinlai 32 minutes ago | parent
i cannot type "make me an exploit based on whatever these diffs fixed" into a compiler and get usable output. and i cannot type "make me a budget, here is 6 months of credit card receipts" into a compiler and get a budget. etc.
pjmlp 27 minutes ago | parent
Here are some suggestions,
Workato, Boomi, Sitecore AI, Optimizely Opal, Workfront AI...
You will naturally have to split the budget calculation in a few agentic nodes, and maybe a couple of tools.
john_strinlai 24 minutes ago | parent
i thought we were talking about compilers vs. llms.
pjmlp 21 minutes ago | parent
Agentic programming tools are nothing other than the old ideas from UML code generation in a new package.
cwnyth 24 minutes ago | parent
pjmlp 20 minutes ago | parent
Better accept that in a few more model iterations, the code being generated is a matter of changing a markdown file.
xw333 13 minutes ago | parent
This sentence from the article really stuck out to me.
> and you write the rule down so clearly that nobody (human or otherwise) has to guess again.
Writing rules, or steps, unambiguously in a high level language and having those statements translated to lower level languages, that ultimately get executed by a machine, is what compilers do.
The commands you gave were not unambiguous at all and although an LLM would produce a result, the result would definitely be nonsense.
"make me a budget, here is 6 months of credit card receipts"
For example, a valid budget requires some knowledge of expected income...
john_strinlai 4 minutes ago | parent
i forgot my golden rule of never giving examples or using analogies while on HN because people hyper focus on the specifics rather than the overall point.
amend my example to "make me a budget, here is 6 months of credit card receipts, and i make somewhere around $60k per year".
jacquesm 31 minutes ago | parent
pjmlp 25 minutes ago | parent
Veserv 10 minutes ago | parent
All observable and defined side effects should be identical otherwise you have a compiler bug. Optimizations that are not generically semantics preserving may be used, but should only be used where the program is semantically identical for your use case otherwise you have incorrectly used the options available in your compiler.
nostrademons 20 minutes ago | parent
Newer languages consider this to be a misfeature, and have taken pains to define far more of the language semantics outright, even if the definition is simply "This is a compile error" or "This is a panic." It's interesting that we're now going back the opposite way with LLMs, with their ability to generate code that does something for any natural-language prompt being a major selling point.
troauei 4 minutes ago | parent
Whereas in LLMs, the whole thing is undefined behavior.
bluegatty 28 minutes ago | parent
Well if you think that's what it's doing - that's on you.
For gosh sakes, start with Claude Shannon's 'noisy channel problem' and consider why the notion of idea -> program is a fallacy.
That's for the Wix, Lovable and Shopify - wherein AI is only a component, and where the conditions are highly constrained.
To manage the output in detail, we need abstractions ... which do not exist.
Code -> Machine Instructions is not a noisy channel - it's deterministic.
Idea -> Code is theoretically not possible at any scale in a stable scenario because it's not deterministic, it won't make 'what you want' - then you have to spend a Million Mythical Man Hours to get it to do what you want.
Given that only a small portion of a developers job was ever 'writing code' in the first place - and that we write on average a fairly small number of 'usable lines of code' per day, the 'coding' was never it.
Research, prototypes, corners cases, help, bug fixes, ideation - so many ways it's powerful ... but not like a compiler.
Ignoring AI is like ignoring the industrial revolution, but AI is something very different than.
Also while some jobs are going to go - software hiring is up, not down - that should be a clue.
john_strinlai 26 minutes ago | parent
start with opening up codex or whatever you use. type "make me a calculator app". get your calculator app in an hour or whatever.
it's fair to describe this process as taking an idea and getting a program.
nostrademons 28 minutes ago | parent
This is repeated in a lot of comments here but hasn't really been true for a while. I remember, c. 2010, Kenton Varda complaining to Google's internal compiler team about how it generated some particularly non-intuitive assembly code out of the protobuf generated code, and the response was "Yeah everything is adaptive optimization now. Benchmark it and give us a profile and we'll put it in the compiler test suite. Trying to reason about what the compiler is doing and micro-optimize accordingly hasn't worked since the mid-90s."
I do think that LLMs are a step change in how we program computers, but the main step change is that the source language is now English, which opens up programming to a wider market accordingly. And this'll come with all the downsides of English: the ambiguity, lack of precision, multiple meanings, and so on. If you try to recover that control over what the computer generates, you end up reinventing computer science. (Which isn't that far off from how I use LLMs to program: anything that has widely accepted "best practices", I'll just let the LLM do, but if there's anything novel or requiring high-precision, I'll tell it "leave that function body blank; here are the inputs and outputs to the rest of the program; I will fill in the algorithm details myself.")
I also think that people are underselling the extent to which compilers were a step change to previous practices of programming. For someone accustomed to C, try doing register allocation or inlining yourself; you will suck at it, and it will take up the vast majority of your head space that could be spent on better things. For someone accustomed to a garbage-collected language like Python, try doing manual memory allocation and object ownership yourself; you will suck at it, and it will take up the vast majority of your head space that could be spent on better things.
win311fwg 27 minutes ago | parent
Maybe if you are using a compiler to provider a portable assembler (i.e. C) where ~1:1 mapping is the whole point. But in that case you'd be actually be using assembler instead in a world where all CPUs were the same.
That is very narrow view, though. Often — and I'd say most often — people use compilers so they can think in higher levels of abstraction, like SQL. Taking SQL and adding millions or billions of additional keywords doesn't really change anything with respect to the concept. Its still the same thing at the end of the day, even of those millions/billions of additional keywords are much more powerful than a small set of keywords.
david-gpu 23 minutes ago | parent
Those who spend time thinking about a problem, then writing design notes, specifications, and test plans, and focus on the implementation last. For these people, AI agents primarily act like an extension to their existing toolchain, and thus like the analogy of "AI as the new compiler".
The other side are people who don't like writing specifications and such, and rather prefer to sit down figure things out as they start coding. For them, an agent feels radically different from a compiler.
In both instances the AI agent is still the same tool, with the same real-world capabilities and limitations. It is not like one camp is blind, they just have very different workflows.
It also seems to me like many in the "sit down and code" camp then slowly figure out that doing some planning ahead of time helps them get better results, and they see this as another AI-led paradigm shift, when in reality it is how many other programmers have worked for decades.
CoolestBeans 9 minutes ago | parent
LLMs are not this, and they cannot be this because it is their ability to operate on vague instructions that make them as powerful as they are. They can take an imprecise natural language description of a process and realize it as a process in a programming language. The problem is that understanding and manipulating the precise problem description is your job as a software engineer. The LLM can and will make its best attempt based on what exists in its training data, but it cannot know what is the precise behavior that actually fulfills goals and I think, contrary to the parent article, it cannot determine where the edges are to ask you with enough certainty that you will be able to take your hands completely off the wheel.
I think the nature of LLMs also explains why it is good at the verticals it is good at. Porting is an extremely well defined, replicate the behavior on another platform. There are far fewer vagueries in that. Game dev is not extremely well defined, but the consequences of imprecision do not have a lot on the line. Furthermore, games are pretty self-contained, so there's not a lot of guessing about what could happen or what the behavior of a counterparty system could be. With some pretty big exceptions, it is all there for the LLM to see in C++ (or whatever).
kenjackson 48 minutes ago | parent
So you're saying that we'll still be coding, but it will be through talking to our agents and only occasionally we will look at generated source? That seems like a pretty big change still.
ninininino 47 minutes ago | parent
jackb4040 44 minutes ago | parent
If the author is contending that AI models will improve to a point that they actually make no mistakes while coding, and have that same level of reliability, then they're on exactly the same side as AI doom trolls just wearing a different costume.
bookofjoe 40 minutes ago | parent
layer8 40 minutes ago | parent
Only because Fortran was viewed as transcribing mathematical notation, which wasn’t considered coding. Coding originally referred to having to work with numeric machine codes. Programming languages like Fortran removed the need for having to deal with how to encode the program for a specific machine, and to deal with human errors in that encoding process (debugging). It didn’t mean abandoning formal specifications that you can reason about with a high degree of precision.
I also want to take the opportunity to point out the concept of notation as a tool of thought, coined a quarter century later by IBM fellow Iverson in his Turing Award lecture: https://www.recurse.com/blog/58-paper-of-the-week-notation-a...
ryanSrich 38 minutes ago | parent
First, it's a bad comparison. Compilers and LLMs/Agents are not remotely comparable.
Second, the example used for 2031 is already outdated in 2026. There is almost no reason to even use PRs anymore [1, 2], and the example question should be easily answered by an agent that has enough context and planning.
1. https://r.rich/blog/ai-native-change-management 2. https://ampcode.com/notes/thats-not-soc-2-compliant
bigfishrunning 19 minutes ago | parent
ryanSrich 4 minutes ago | parent
I do think most of this is a skill issue. I don't mean your personal skills; I mean the misuse or non-use of agentic skills. The majority of issues with code synthesis and review can be repaired by giving the agent enough guardrails, context and skills to use.
vatsachak 33 minutes ago | parent
Vibecoding maintainable code requires providing the LLM a specification. It's still coding, but you now have the liberty of just providing the spec as opposed to worrying about syntax. Since they are non deterministic and love to cheat you still need to review though
jdw64 28 minutes ago | parent
Looking at history, I think LLMs will settle down too. Because, in fact, if you look at the history of software thought, there were actually many people who would have welcomed LLMs.
[1]https://www.makonea.com/en-US/blog/people-who-build-things-t...
captainclam 23 minutes ago | parent
In 2031: Why on earth not?
Jtsummers 22 minutes ago | parent
GuB-42 9 minutes ago | parent
Sufficiently precise spec is called code. It is the compiler story all over again.
Notably absent from the timeline is visual programming, or Rapid Application Development, think Visual Basic. It was all the rage in the 90s, and for some reason, we don't hear much about it today. We used to make fun of Visual Basic and the people using it back in the days, but the reality is that people with little skill could do something useful. Reminds you of something?
Honestly, I don't really understand why we write so much code today when a lot of use cases can be taken care of using templates and moving boxes into place, "low code" and "no code" never really seem to have taken off as much as they could have. That reliance on code was a boon for LLMs by the way, as text is the thing they have the easiest time working with.
My theory is that every project is unique in some way. As in, my CRUD has a little something that makes it different from other CRUD, and that's why it is valuable. You can't use an off the shelf component because no suitable component exists, and you want code because with code, you can express what you want with precision.
But it is also what limits AI. AI is very good at doing what other people did, but you don't want to do like everyone else, so you have to be very precise in what you are asking, and the most precise way of asking things is to write code.
However, when you really want what others did, then AI is really effective: rewrites, ports, decomp, etc... But this is not really programming, it is at best a translation job, and it will never be as good as the original. To make it better, you need to inject something unique, and for that, the best way to do it is with code. Like the translator of a novel who injects elements of his own culture that go beyond the work of the original author, to make up for what can't be literally translated.
tasuki 4 minutes ago | parent
Hey that was about my last Tuesday.
--
In 2031 you single-handedly maintain 173 million lines of code making up a simple crud app. You're a good programmer, but the previous guy wasn't, and now there's too much code to make it any smaller. Not even your vastly superhuman LLM feels confident to delete any of the code. So the two of you slog along.