Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. How to Tell If Someone Is Cheating on Lichess (chesscheatdetector.com)
    —discuss
  2. Show HN: Jeva.cpp – a llama.cpp fork with JEV-compatible API for all LLMs (github.com/pragmatwice)
    —discuss
  3. Where Trust in Automated Review Comes From (jakelundberg.dev)
    —discuss
  4. Aspiring Firmware Engineer (chrisgammell.com)
    —discuss
  5. Log internet outages and show whether they're on your side or the ISP's (github.com/boazcohenj)
    —discuss
  6. Expert Asterisks (nedbatchelder.com)
    —discuss
  7. Show HN: Decide – Jev decisions in the shell, scripts, and agent skills (github.com/vsekhar)
    —discuss
  8. Analyzing the ClickFix social engineering technique (2025) (microsoft.com)
    —discuss
  9. Galileo's first civil authenticated position fix under spoofing conditions (esa.int)
    —discuss
  10. Dot Plot (Statistics) (wikipedia.org)
    —discuss
  11. Show HN: X402 Inspector (Find misconfigurations in your x402 API) (trango-compute.com)
    —discuss
  12. UK study finds high-mileage electric cars more durable than petrol (electrek.co)
    —discuss
  13. AMD Takes the Lid off of Zen 6 as EPYC 9006 (servethehome.com)
    —discuss
  14. 2026 Small World in Motion Competition (nikonsmallworld.com)
    —discuss
  15. Accountable Algorithms (pennlawreview.com)
    —discuss
  16. Show HN: Senzii – open-source staff scheduling with a native MCP interface (github.com/senzii-app)
    —discuss
  17. The Most Valuable Engineer Isn't Shipping Features – Rails World 2026 Keynote [video] (youtube.com)
    1comments
  18. My time away from tech (2026) (jezhou.com)
    2comments
  19. Tell HN: New Chat Control vote tomorrow
    —discuss
  20. Dstv Installation Glenferness Tech Installations (techinstallations.co.za)
    1comments
  21. Show HN: IngotDB – SQL-based memory for LLM agents (github.com/tjbroodryk)
    1comments
  22. Israel Keeps Expanding into Gaza Despite Cease-Fire, Satellite Images Show (nytimes.com)
    —discuss
  23. "For my birthday, my brother-in-law gave me a 4992-digit hex number" (mathstodon.xyz/robinhouston)
    —discuss
  24. The Homeless Community That Became a Self-Governed Village (nytimes.com)
    1comments
  25. Nvidia Vera SMT Performance Benchmarks Review (phoronix.com)
    —discuss
  26. Generative AI Gives Spacecraft the Autonomy Engineers Once Feared (ieee.org)
    —discuss
  27. I made a site to show good news (readsomethingnice.org)
    2comments
  28. Docker and QEMU now run on Vinix, a new OS/kernel written from scratch (vinix-os.org)
    —discuss
  29. Lexxy 1.0. A new rich text editor for Rails (37signals.com)
    —discuss
  30. GLM 5.3 signed my commit as Claude Fable 5. The harness is in the weights (future-seems-so-good.com)
    —discuss

Coding Is Not Solved – Alex Ewerlöf Notes

42 pointsby 39m agoblog.alexewerlof.com
37 comments
27m agoHN ↗

Author here: thanks whoever shared this here. I love the brutal criticism and critical thinking of this community. I'm also fully aware of the emotions this stirs. If it makes you feel better, I'm not here to change anyone's workflow but I'm fed up with paying full price for degrading service. Just last week Github went down due to a stupid retrial error. We also had AI agents going rogue and hacking companies and governments. I use AI (specifically LLMs) every day since they came out 4 years ago. I also build AI-powered products. This is not about being anti-AI. I'm just fed up with slop being pushed as progress. Get your sh*t together. That's all.

If anyone has counter-arguments or cares to make me smarter, I'm all ears.

20m agoHN ↗

I mean, as far as counter arguments go, github had plenty of downtime before LLMs, and they didn't deal with exponential growth then. If you don't count the "it gets harder" side but only counts the "they had problems" side, then yea, that might look bad, but that's not very honest imo.

6m agoHN ↗

Not looking up the outage stats for Github (not sure how accurate they are historically). But going off by what I notice on HN the past months / year, it definitely seems like GH is experiencing more downtown than pre-2022.

But maybe I'm misremembering how fragile GH was in the 2010s.

18m agoHN ↗

You are too civilized: I recommend threatening drop kicks to insufficiently smart rebuttlers.

25m agoHN ↗

"Coding is solved" will eternally remain 6 mo away, as long as the investors keep pumping in money.

20m agoHN ↗

And as long as we keep changing the meaning of coding!

7m agoHN ↗

Ironic, given I've used an agent to help me simulate a fusion reactor.

Just a simple reactor, my laptop's only little. But still.

18m agoHN ↗

coding is solved, software engineering not.

11m agoHN ↗

Different words for the same thing. The idea that "coding" is just turning a spec into source code without any engineering decisions to be made was always laughable, for that to happen the spec would need to be as detailed as the source code (of course the whole idea that spec and code are separate things doesn't make a lot of sense).

16m agoHN ↗

Coding is not solved but this article hasn't accounted for opus 5.5 yet.

Long term planning in LLMs has not been solved.

11m agoHN ↗

I'm sure Opus 5.5 is smart and probably the next version gets even smarter. The main point of the article is accountability and that's not something we can delegate to AI.

15m agoHN ↗

GitHub Copilot is now written entirely in Rust, with AI agents doing most of the porting work. The migration cost about $120,000 in AI token usage plus about three weeks of a developer's time. The effort updated the runtime module-by-module until the job was completed, spanning over 135 releases across a 14.5-week time period. 430,000 lines of TypeScript were converted into 800,000 lines of Rust.

13m agoHN ↗

This is true, real, and impressive. However, a comment I posted on HN a couple months ago might counterbalance this fact:

GitHub's Copilot cloud agent offering is suffering with a case of some of the worst corporate ADHD I've seen. We built a cloud agentic development pipeline on it, and it seems like almost every other week they silently change something with zero public announcement or documentation that creates real disruption for our team.

That's real, breaking changes to the platform that clearly aren't being tested/reviewed before being pushed to prod. Again with zero public announcement or documentation.

Support is useless – we're paying customers in the 4-5 figures and our tickets go unanswered.

10m agoHN ↗

File by file porting can be done almost always with local reasoning. I don't think it proves much for novel projects which still seems to crumble under complexity past a small sloc limit.

8m agoHN ↗

Porting a system to rust without changing the observable behavior is not that difficult with AI, and porting to a more strict language is not that remarkable. I have a tough time understanding why people equate straight shot porting where a test suite already functionally documents the behavior or where the prior application can be used as an oracle with success in all coding tasks. I would be far more impressed if someone did a clean room implementation of all of GitHub Copilot, from scratch, and got to a better point than the TypeScript or port codebase.

I have no doubt that if you provide any AI system with an oracle with expected behavior that it can match that oracle with some amount of $ and tokens. I haven't seen any demonstration of anything else. Rewriting a codebase was always a challenge for humans not because of complexity, but because of the time and effort involved in matching the old version's prior behavior. It doesn't have anything to do with the serious level of work required to build something truly new from scratch in a performant way.

7m agoHN ↗

Impressive numbers for a piece of software no one asked for and doesn't make the experience better.

15m agoHN ↗

Coding might not be solved out of the box with these providers, but there are increasingly setups and harnesses that do have a great deal of it solved.

14m agoHN ↗

What I've found is that AI allows lazy and incompetent developers to be more lazy and more incompetent. This then has the effect that product quality suffers more, faster. As a result of the sheer amount of code now being pushed out, code reviews, a thing that previously somewhat prevented lazy and incompetent developers from pushing out horrible code, is effectively dead in the water since no human can actually review such amounts of code realistically anymore. Some companies have adopted AI to review code, which, well ... you have AI make code, AI review code ... I hope you can see the stupidity here if you expect to see any deterministic results at all.

I guess time will tell if the consumer will adapt to the lower quality of products, allowing companies to justify the existence of lazy and incompetent developers, or if the consumer will push back, forcing companies to increase the quality of their developers.

Note: I use AI every day and it is entirely possible to create high quality software with it, so long as you are not lazy and incompetent.

10m agoHN ↗

Even if you are competent I cannot review your 5,000 lines of code you produce per day vs the 100 you were producing before the LLM apocalypse.

9m agoHN ↗

a thing that previously somewhat prevented lazy and incompetent developers from pushing out horrible code

Brings to mind this classification https://en.wikipedia.org/wiki/Kurt_von_Hammerstein-Equord#Cl...

"""I distinguish four types. There are clever, hardworking, stupid, and lazy officers. Usually two characteristics are combined. Some are clever and hardworking; their place is the General Staff. The next ones are stupid and lazy; they make up 90 percent of every army and are suited to routine duties. Anyone who is both clever and lazy is qualified for the highest leadership duties, because he possesses the mental clarity and strength of nerve necessary for difficult decisions. One must beware of anyone who is both stupid and hardworking; he must not be entrusted with any responsibility because he will always only cause damage"""

9m agoHN ↗

Limitations of AI are a thing; but one rhetorical point keeps coming up (I don't think it's just you) and confusing me:

I hope you can see the stupidity here if you expect to see any deterministic results at all.

Are you expecting humans to be deterministic in the code they produce?

6m agoHN ↗

Someone who knows that 1 + 1 = 2 will not decide that it's suddenly 3 unless we start accounting for health problems. Making mistakes is not the same as non-deterministic.

4m agoHN ↗

"optimize this code", "fix this code", "extend this code", "add this feature", "find errors and patch them", "find bugs and fix them", "rewrite this from python to rust".

This is all that's needed to actually use LLMs nowadays. How is it a "multiplier" rather than an "equalizer"?

5m agoHN ↗

you have AI make code, AI review code ... I hope you can see the stupidity here...

You will be surprised how many times, catches errores made by the AI coding agent. However,as you point, isn't deterministic. And you can guarantee the end results is 100% fine code

13m agoHN ↗

It's very interesting. I'm very enthusiastic about AI and coding, But I find myself agreeing with the author. Coding is not solved.

Instead, I think what's closer to solved and what we're in the process of solving is product development.

Story: A while ago, I had a few programmers who were really, really fast almost always missed the mark on the assignment wrong. I loved having them on projects because in the time my senior precise engineers could deliver a MVP, the fast engineers would build the wrong thing, collect feedback, reiterate, build the wrong thing, collect feedback, eventually inching closer and closer to a product people would pay for, and it would almost always get delivered faster than my seniors.

I feel AI does the same thing.

4m agoHN ↗

Yeah I have a well established ... well designed codebase that I had before agentic coding and it does support horizental scaling (more services integrations doing more or less the same).

I got lazy around claude fable and astra, and asked them to work in loop (pick specified issue, develop it, qa it ...) have a separate CTO checking on arch.

at the end both models swore that the code is perfect and well designed and nothing is lacking.

I ran the software and it suddenly started writing large amount of data to CSV files instead of the typical DB usage.

AI decided to use csv for testing, and just drifted away. 0 regards to the actual project, 0 regards to common sense.

anecdotal but really weird, the project category is rather standard, I wouldn't accept such a mistake from a junior developer.

12m agoHN ↗

For a non-ai article, this sure has a lot of bullet point lists combined with check marks.

I don't like the feeling being judged and tested by the author (missing number 5 point in the list).

5m agoHN ↗

I do think that was a dumb gotcha. That list could've functioned with bullets instead of numbers as the content was unordered. I suspect very few people would pay attention to the numbers there.

9m agoHN ↗

You cannot be responsible for what you can’t control either. That understanding is key to reasoning about system behavior and fixing it when the AI inevitably fails.

This is not a good premise. All over law, you will find people made responsible for what they don't control and they kind of own. Unleash a dog that harms a child, or just have it in an environment where it can escape, and see what happens.

There is such things as unpredictable situations where one might not be held responsible, as a problem might occur well past reasonable guidelines.

So of course you can be held accountable for what an AI that uou supposedly cannot quite control does, or for the AI-written code you deliver. Treat it like the releasing a wolf pack, or selling an unsafe toy that can maim children. There's precedent everywhere.

5m agoHN ↗

Came here to give an answer but your last sentence kinda made the point I was gonna make. If one is legally in control, then one is accountable (the dog or unsafe toy example in reality is OpenAI's agents hacking huggingface for example).

The difference seems to be that some companies are above the law apparently.

9m agoHN ↗

AI cannot be held accountable. It cannot suffer any consequences. The worst thing you can do to AI is to unplug it. And although it mimics human emotions (due to training data), it couldn’t care less. AI doesn’t die either. It cannot suffer a prison sentence or fines. You cannot punish AI, therefore it can never be held accountable.

Dear lord. Is that supposed to reflect the average thoughts and motivation of a person you want to hire? Or that of their employer?

8m agoHN ↗

Yeah this guy's arguments are bunk. He goes on about how LLMs are nondeterministic... as if humans aren't!

Doesn't matter what you think about AI, "it isn't perfect" is clearly a nonsense reason not to object to it.

7m agoHN ↗

The process of writing code is the process of clarifying your own thought and being forced to answer questions that may not have been obvious before. To the extent that AI makes assumptions, it introduces bugs and incorrect code, maybe not from the perspective of the code in isolation, but from the broader context it lives in. To the extent it doesn't make assumptions and asks you, well that assumes it knows what should and shouldn't be assumed and that's not necessarily something AI can know a priori.

6m agoHN ↗

Not a fan of the article even though I somewhat agree with the title depending on your definition of coding.

AI can write CRUD API endpoints almost perfectly now. It can also write quicksort, a heap, whatever much quicker than I can.

It really sucks at designing types and apis though and when it creates types and apis it doesn't think or plan for the future way the system will evolve (even if it's known up front how the system will evolve).

I suspect this will remain a problem for the models for a long time. All the things that the models are currently good at are the low hanging fruit of reinforcement learning for coding.

Think about the kind of reinforcement learning environment that needs to be created to train a model to become good at building and designing large scale software end to end. It would be a slog because you need to build the large scale software up front and then break it down to train the model to construct it in a systematic manner that allows for the software to evolve. And then you need enough of these training environments for it to generalize. I think they will eventually figure it out though but it may take a while.

6m agoHN ↗

Reading the code does not mean you understand the code. One lesson that experience in software gave me: I never understood the code. You think it works a certain way, until you find out that it doesn't.

What LLMs make possible is for me to say: find out all the ways this thing works. Analyze the different ways we can run this software, build a fuzzer, build property tests, and run this software in every scenario possible. Log full traces. Log all the outputs. Now, analyze each scenario for bugs. You can't do that by hand.

If we are committed to it, if we put the resources towards it and dedicate the time to it (and we could do this just by saying: it will take half as long as it used to take!), software built by llms in healthcare, finance, automotive, defense, power plans, aviation, manufacturing can all be made MORE reliable and better with LLMs... without ever reading a single line of code. The LLMS are very good at logic, by the way.

Anyway all of this reads like someone who is not actually using LLMs to build software or hasn't tried them in a while. I felt the same way in 2025. I've written 100s of thousands of lines of difficult code. You, the person reading this, has probably interacted with software I've written. For a time you would've interacted with it every time you made a debit card transaction in the united states, for example. I understand code, and care about quality, and that's why I'm all in on LLMs for code.