9question1

That's precisely the problem though. You cannot still read and understand an AI written proof at the current skill level of the AI being applied, because they're orders of magnitude longer than human written proofs even when they don't need to be, and spend most of that length on the parts that aren't important. This has been really thoroughly documented by expert mathematicians who are engaging with AI in public like Terence Tao and showing in detail how much work it takes working alongside AI to figure out how to understand AI generated proofs. With human generated proofs that process is forced to happen before publishing the proof because the new style of AI generated proofs validated only by formal verification is supplanting the old human peer review process that forced the burden of understanding onto the publisher and not the reader.

That depends. Inflation is a measure of the cost of living in terms of currency. It can be high either if goods and services required for living become scarce, or if currency supply increases. Currency supply increasing does affect asset prices.

`it's technically possible to pass the blame to other people` presupposes that the blame belongs to the reporter unless effort is taken to "shift" it. This is just an inaccurate worldview as many people have pointed out clearly in this discussion. If there's a vulnerability in software the blame lies with people who wrote and maintain the software, not someone who finds and discloses a vulnerability. The person who should `check in on the status of the fixes` is the person who owns the thing being fixed, which is very much the kernel and distro maintainers and not the security researcher. It is you who are willfully shifting blame to an innocent party

The problem with this argument is that pharmaceutical companies are private businesses trying to make a profit, not charities. If it were truly unprofitable to sell drugs in, say, Canada or France, pharmaceutical companies would just not sell their drugs in those countries. It is _less_ profitable to sell drugs in those countries than America but still profitable, which is why they still try to capture those markets. If America fixed this imbalance by forcing a lowering of drug prices in the American market, there's no reason to believe that this would cause raising of prices elsewhere. The only way this would be possible is if it were truly unprofitable to sell the drugs elsewhere, which can't be the case since these are corporations not charities. The real impact would be to slow down new drug development, since existing drugs are already profitable to sell everywhere in the world even in countries with more regulation, but if America fixed its market by lowering drug prices for Americans, the total profitability of pharmaceuticals would decrease, decreasing the incentive to create new pharmaceuticals. That's a totally different and very plausible impact. Rising drug prices for existing drugs in other countries is not a plausible impact.

I think it's likely that both the blog poster and the maintainer are being perceived as more negative in tone than the intent / reality. They both included disclaimers "I must be doing something wrong. And if I am, I'm sorry." and "whatever, it’s their blog so they can do what they want." They're also both giving critical feedback "But, if I'm not, this is a problem right?" "Kinda wish the author would attempt to collaborate rather than write stuff like this" but in both cases the criticism is extremely mildly worded compared to most toxic online discourse. This seems... great? Isn't it good we're able to disagree so politely? It's not toxic to have a disagreement or to give critical feedback. We don't need to all pretend to agree with each other all the time or be happy with each other in order to have a civil discourse.

These days isn't the solution to this just "ask <insert LLM of choice here>" to read the code and write the documentation"?

I love Typescript but I think I disagree with this. The point of the post seems to be that features of the Rust compiler help enforce that you use certain runtime / environment / domain semantics in ways that eliminate common classes of errors. That's never going to prevent all errors, but preventing large groups of common errors so that you only have to manually remember a smaller set of runtime/environment/domain semantics could have some value.

But the OP did implement a fully featured app as the Nue comparison half of the benchmark. I have never used Nue and don't know if I ever would. I just think to be fair to the OP, even if incremental cost declines as you keep adding stuff in React, there's no way it is negative, which means the benchmark you asked for logically must have a similar result?

This. It's ridiculous how often people complain about the design of free software. If you don't like it, just don't use it! Use something else! Build your own! Or fork it to work in the way you described that you'd prefer - you can do that yourself if you really want since the source is available

Walled gardens are good because if you insist on picking your fruits only from the wilderness due to moral principles you're gonna get mauled by a bear some time. Sure, you might prioritize feeling morally superior, but the majority of society is more practical

It's an ad. The key point he works up to is `Put another way, you need a sidecar database. The data moat needs to be fast and queryable. This is a Search Problem!` And then of course this is hosted on the corporate blog of a code search platform. It's `make sure you have good prompt context` but trying to define that specifically as the thing they're selling

You greatly overestimate the quality of the will of the people. Just because you don't like certain outcomes because they are stupid doesn't mean that those outcomes aren't what people wanted. Democratic institutions are a much more accurate way of reflecting the will of the people than most other attempts to measure that, for many reasons including the existence of people who don't respond to surveys but vote.