munksbeer

I'm not a mathematician, so I may be talking nonsense. Would it not be equally possible that AI solutions to these problems have, or start revealing new maths, or new techniques. I doubt that is the case for these type of problems, but it may well be in the future. And maybe these techniques are seen by the right people, who have the correct intuition of how they may be a bridge in other problems.

Or another angle. Given that, from my amateur understanding, a lot of these problems are proof by counter-example, could you not argue that at least AI eliminates low hanging fruit and more important problems can gain focus.

Of course, I could equally argue that the low hanging fruit is needed to train up mathematicians.

So yeah, in the end, I don't know. But am pretty certain that AI is not going to be limited by these sort of proofs for much longer.

There is no magic to coding, any sort of coding. Humans learn how to do it by learning the rules. A coding agent can learn the rules, easily.

> That may be true for bloom filters or what have you. But the author states the obvious: all recent games are closed-source. So any algorithms or techniques for real-time 3D that an LLM was trained on are going to be a long way behind the state of the art.

Neither you, nor the author of the article has to use LLMs for coding. But if you want to, there are some practices you should follow to get best results, and that includes setting up your environment to give the agent the best chance for success. If you have various rules that are non-obvious, you add them to your AGENTS.md file (as we have at my corp and in my little niche). The agent will then follow those rules, and learn from the surrounding code.

I'll just be blunt here - I don't believe the author would have done anything more than the bare minimum to test his pre-existing bias that coding agents are bad. I don't believe he would have put the effort into getting it writing good quality code to suit the project he was working in.

We write high performance, low latency java for trading systems. Our codebase is highly structured around this and the READMEs and AGENTs file contain the information for how to successfully write code like this, originally for human consumption, and now agents.

And it works. So, I don't trust the article.

Put it this way, the agent may well be hallucinating behind the scenes when it is coding for me, but I never see that, because it obviously verifies by compiling and testing the solution and won't show me something that is broken.

> A proper agentic workflow might do it all automatically.

Might?!

Every agentic workflow should be doing this automatically for nearly a year now.

And yes, I agree with the latter. The lengths AI will go to, to get you a working solution is sometimes scary.

I don't think the outcome is what makes things like this potentially illegal.

You're not allowed to bribe public officials. You're not going to escape the law by arguing that the bribe didn't get you the result you wanted.

Out of interest, do you pay people extremely well to work with you?

Have you tried putting on an audiobook and just settling in to enjoy it as long as you're awake?

I concur with a lot of the original advice. I still wake up a lot during the night, but I can fall asleep again by starting my audiobook again. My brain needs to focus on just that one thing, otherwise everything else spins around.

- Exercise, exercise, exercise! I am quite willing to bet that a lot of people with sleep issues don't really exercise properly. Exhaust yourself here.

- Develop a good sleep habit, same time each night.

- Magnesium and melatonin while trying to get the sleep habit started.

- Audiobooks. Not podcasts. An actual story, like someone is reading you to sleep when you were young (if you sleep next to someone, you might need particular band headphones, or lower the volume and put a slim tablet under your pillow).

> The code they write is garbage.

This is trolling right?

Father of an autistic child here. If I could "cure" his negative symptoms with medication, I'd choose it in a blink.

Caveat being, I would have to see how it impacted the rest of his personality.

My son is autistic. He massively struggles with life. I weep sometimes after some of his meltdowns, where he says he hates himself and wishes he didn't exist.

We do our best, and I hope we can help him learn the correct coping mechanisms. But reading some of the posts here make me quite enraged. He has a medical condition. It is called ASD. Would I medicate him if it meant he had a better chance of living a happier life? In a blink.

You're framing it so you can't lose by making the argument seem like a moral choice between "have data centres" or "live in a functional society".

That's a fallacy, and it is moral grandstanding. It's a useful way to win internet arguments (and internet points), but it is just a debate ending strategy.

These sort of moral grandstanding arguments are annoying.

>We will always need super smart people with largely unadulterated thinking.

I don't see how you get to that conclusion. We're just atoms. We evolved over a long time and something selected for a particular configuration of atoms that does "something" (see neurons firing in a network) that then somehow produces what you call "novel ideas".

But if one particular set of atoms can do it, so can another. I don't see why we can't eventually invent/evolve/train a bunch of computer atoms to come up with more novel ideas that we can.

> I just don’t see how one can say that building things reliably good is easy now when the company providing these tools can’t even do it well.

What do you mean? Claude cli is wildly successful. Why do they need to re-write?

>You working in some "we replaced MS Access with another high-level language tool"-place is so far off this level of engineering

You might have a point buried in your post somewhere, but I can't find it because your personal attack obscures it.

> Definitely not the best argument presented.

He isn't presenting an argument. He doesn't have to, and it would be fruitless to do so, because at this point anyone who denies AI coding is good is just burying their head in the sand, and the argument will be pointless. He's doing the correct thing, just ignore those views and get on with things.

Crazy that this hasn't got more traction here. Maybe people missed this thread.

Agentic cli based coding "got good" (around Oct/Nov 2025), and after just a short trial period, most devs in our company were convinced enough to start using it. The graph from "not using it much" to "95% of code written by AI" was incredibly steep. It was obvious from around that point, but particularly from around Opus 4.6 that this was actually, very, very good, provided you understand the failure cases and worked to eliminate them.

Ever since then the story has been about the % of developers denying it can write anything decent dwindling, and right now there are very few left who say this. Places like reddit and HN seem to attract a lot of them though, so weirdly, despite in the real world most professional software developers using these tools prolifically, it can seem as though it is 50/50 here.

When even someone like Linus Torvalds (the most crotchety of crotchetiers) is accepting it, you must know you're on the wrong side by denying it at this point. Surely the cognitive dissonance must be grating?

I'm on the verge of trying out a home project (Rust) with codex. ChatGPT suggested I start with the codex app and vs code. What made you switch?

Thanks. I haven't been checked. People always mention this though, so maybe it's common. But some people are just bad sleepers even without sleep apnea?

What you mean is "it's really not bad for me".

Noise pollution is horrible. It is jarring and causes stress (health issues), and poor sleep (health issues).

This isn't just a vague immaterial thing, this is a genuine negative impact on people's health and by extension life expectation. If people could "just ignore it", obviously they would, right? Some of us can't. Luckily I moved away from most noise and live in a quiet area now, but nothing is stopping some arsehole with a modified exhaust driving down my road every night. It could start happening at any point. At which point, I'd want laws to stop it happening.

What exactly is sleep apnea?

Melatonin works well to help me get to sleep, but it doesn't keep me asleep. My issue is waking multiple times in the night, mostly because I'm just uncomfortable, but my brain will immediately be thinking of some work or personal task and spinning. I solve this by putting on an audiobook each time, and that focuses my attention, and I'm asleep again in 5 minutes. So, I have developed "solutions" to my sleep problems, but they don't really fix the underlying issues.

Also, I don't take melatonin often, only when I seem to need to reset my sleep cycle, and I only take about 200-300 micrograms.

Why do you take so much? 5mg is a lot, according to the studies.

Disclaimer: I love git, it is by far the best version control system I've used in nearly 25+ years.

But, his point is objective, so he doesn't need to provide subjective proof to you.

Do lots of people find git confusing? Yes. It is a very common view.

Therefore, based only on observed evidence, we can pretty confidently say that git is confusing. Is it as confusing as something else, or as confusing as the reputation? We can't tell, because those are subjective opinions.

The statement "it isn't as confusing as people think" is pretty meaningless here, because you can only judge from your own frame of reference. If it wasn't as confusing as people think, why do they think it is confusing? Are they all stupid?

It depends on what you think "the right thing is".

Our right thing sounds different to your right thing. Our right thing is PRs less than 500~ lines, and a single logical change only if the overall goal is complex.

For example, in your "right thing" it sounds like you'll have a refactor commit somewhere in the chain of commits in your PR, that might introduce 2000 lines of change, and other logically coupled changes in the same PR, all resulting in a large PR.

We prefer smaller, complete, mergable PRs. And therefore we normally only ever start with a single commit in the PR because the dev squashes everything before raising.

I don't know which way is better, but I do know that when I come across large PRs, I zone out and review quality drops. In fact, I just don't approve them.

Which deities don't you believe in? I don't believe in all of them. Presumably you don't believe in almost all of them?

That is an incredibly insulting comment. I am married, two children, have lead a fantastic fulfilling life. Just because I don't believe the Flying Spaghetti Monster created the universe doesn't mean I am an "Edgelord".

Remember the phrase, you also don't believe in God. There are hundreds of gods you don't believe in.

Sorry to be nihilist, but you never had any objective value if you're thinking in these terms.

As far as we know, the universe "just is". There is no universal objective value of human beings, at all, any one of us.

You have to make or find your own value in the universe. I try not to think too hard about the nihilist side and try to appreciate that for some unfathomable reason, I seem to have what I call consciousness - the ability to observe the present and have it superimposed on the past, and what may be the future, leading me to "experience" things. I don't understand it, no-one does (some people suffering from the Dunning-Kruger effect think they do, but they don't), and yet, here we are.

So it doesn't matter to me if machines perform better than I do, because already lots of other people do. Just try to find your own joy or meaning, somehow.

My apologies I was. But nevertheless, these are still these are elected representatives of the member states. These are not unknown "bureaucrats from Brussels".

> Democratically elected leaders, conspire together in a confederation, to elect a body that is above and beyond the leaders of the democracy.

Sorry, what are you talking about here?

The Commission is subservient to the EU Council. The EU Council consists, by design, of all the heads of the nation states.