Hacker Newsnew | past | comments | ask | show | jobs | submit | krcz's commentslogin

Regressions are bad and they should be avoided. Still, software engineering is a complex thing and regressions happened long time before coding agents were a thing. Unless one can pinpoint regression to changes that were more sloppy than the human-written rsync commits were I don't think coding agents are to blame.

Seems like that it's not that coding agents are to blame, its that the people who are ultimately responsible for committing and merging the offending code are to blame, regardless of its origin.

Or no one is to blame, if the mechanism of the regression is complex and non-obvious based just on the patch itself.

Or they are to blame because they misplaced responsibility in a tool's universality to not introduce regressions, even complex and non-obvious ones.

or they are not to blame because they accepted the possibility of a regression when fixing 6 CVEs

Or they are to blame because fixing 1000 CVE's doesn't magically absolve one of responsibility for regression bugs, even if one "accepts" them as a psychological salve.

If you are entitled enough then they are to blame they didn't fix everything at once, but in that case you really should be paying for their product and support. Otherwise fixing security issues has high enough priority to accept there might be downstream bugs that will be fixed in due course.

I believe your point is not that it has never failed for anyone in the last few years after upgrade? Then, if the claim is that breakage is considerably worse than it used to be before using coding agents: it is possible, but I think it requires more evidence than a few anecdotes.

> Imagine math if we'd question the basic axioms.

No need to imagine, it's enough to look into non-Euclidean geometry (obtained by excluding Euclid's fifth axiom), non-standard models of geometry, or reverse mathematics (studying which axioms are necessary for a specific theorem to be provable).


These are not possible, as x can be 7 only if y is 7, and likewise for 8. Semantics isn't based on sets, but on non-deterministic assignments to variables: y is either 7 or 8 and x is either y or 2.


It's a social construct in the the same sense anything not directly verifiable using senses is. Is there an Eiffel tower in Paris? Most people haven't seen it, so they can only accept the social consensus that it is there.

If one can afford it, they can travel to Paris and check themselves. The same with mathematical truth: if one has means (time, intelligence, access to training), they can check the proof themselves. Otherwise they need to trust the consensus.

So again, is the truth in mathematics just a social construct? In some sense, I guess, but probably not the one some people might assume hearing such a statement.


To illustrate the point further, once you get to Paris how can you be sure it's an Eiffel tower? I guess you have to ask the man in the street. See the truth of it is a social construct. And whether you accept this as truth is a social construct, and so on. QED.


> I guess you have to ask the man in the street.

How about checking with a GPS?

A social construct has nothing to do with simple facts about the universe. And whether the Eiffel tower exists as an object at a particular spot as indicated on maps is such a fact. And if there were maps that would place it elsewhere, those maps would be a lie. Even if the every single map ever made and every other person would deny that there is such a tower at that position one could still go there and check for oneself.

Maybe you are talking about the name? The fact that we call it the Eiffel tower? Well, that tower has a history and again one could lie about the history, who built it, how it was historically called as a matter of fact etc. But an observer would have seen who actually built this tower. It's a fact.


For the people wondering what is that comment doing here: in Polish it means "what a mess".


TikTok is not good for getting deep understanding of things, but it is great for discovery. you can get familiar with the surface level so you have a better idea where you want to dive deeper


I like the idea - does it support .gitignore though? I wasn't able to find anything in the documentation and GitHub issues seem to be confusing in that regards. If it doesn't, it might be hard to use with tools that create temporary or output files in the directory, such as compilers, LaTeX, some editors, etc.


Polish prime minister calls it an "act of state terrorism": https://twitter.com/MorawieckiM/status/1396486258747183106


Are you sure that statistic wasn't for ventilators, not oxygen?


Yes, you're right - my bad!


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: