9question1

6 ms·

1.
by 9question1 6d ago
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
2.
by 9question1 2mo ago
Probably talking about https://en.wikipedia.org/wiki/Wooden_ox . This page suggests this may be a bit of a myth
3.
by 9question1 4mo ago
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 pr
4.
by 9question1 5mo ago
`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 clear
5.
by 9question1 7mo ago
You're mentally stuck in 2009-2015. The world has moved on and Spain is now significantly outperforming Germany in growth (obviously not yet in wealth, which is the integral of growth over much longer time periods). https://
6.
by 9question1 1y ago
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 se
7.
by 9question1 1y ago
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 s
8.
by 9question1 1y ago
These days isn't the solution to this just "ask <insert LLM of choice here>" to read the code and write the documentation"?
9.
by 9question1 1y ago
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 clas
10.
by 9question1 1y ago
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 st
11.
by 9question1 2y ago
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 prefe
12.
by 9question1 2y ago
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
13.
by 9question1 2y ago
https://www.theatlantic.com/podcasts/archive/2025/01/elon-mu... "Like, the same font, right? And she points this out to the HR manager, and they’re like, Yeah, that means that this person’s the most
14.
by 9question1 2y ago
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 searc
15.
by 9question1 2y ago
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 mu
16.
by 9question1 2y ago
"Health care should be strictly preventative and diagnostic" runs into the problem that not everyone agrees what that means. For a while most Europeans thought that leeching yourself was preventative medicine, or Japanese people t
17.
by 9question1 2y ago
It might not be enough for you, but maybe you're not the target audience. His blog is quite popular so clearly it's enough for a lot of folks. What is "good" communication depends on the social context of the communicati
18.
by 9question1 2y ago
https://arxiv.org/pdf/math/0702396 is a very thorough answer to this question by a very well respected mathematician
19.
by 9question1 2y ago
Making Elsevier reconsider its practices is a self-defeating goal. Pay-per-access research publishing should be driven out of business. The majority of institutions funding the actual research being done are publicly funded or receive large
20.
by 9question1 2y ago
Too much bureaucracy is often at fault, but seems very unlikely in this particular case. Are all the other countries mentioned in the article less bureaucratized or regulated? There seems to be a strong correlation between countries that ha
21.
by 9question1 2y ago
"A base of 2 is useful because there are several small positive integers whose base-two logarithms are also integers." What? No! Base 2 is natural in exactly the same way that base e is natural, except for discrete domains instead
22.
by 9question1 2y ago
The stock market represents a tiny and shrinking sliver of the overall economy. https://businessreview.studentorg.berkeley.edu/why-your-favo... . In many cases there is no distributed class of shareholders, just a concentrat
23.
by 9question1 2y ago
The reason that pay transparency laws (which probably don't apply to this position, but exist in other states) require salary ranges and not a specific number is precisely to account for the fact that different applicants with differen
24.
by 9question1 2y ago
This was a really remarkable way to undermine your argument. It's possible to make a strong philosophical argument that government regulation of salary transparency is unnecessary or harmful. This is not that. The fact that there exist
25.
by 9question1 2y ago
You underestimate the laziness of most humans. To be clear, screenshots are still not trustworthy. But the "negligible" relatively more effort could matter in practice. Cryptography sometimes seem to rely on a stronger version thi
26.
by 9question1 2y ago
Is your concrete proposal that data should only be allowed to be collected and shared by people with a specific agenda to push?
27.
by 9question1 3y ago
I don't know what OP is referring to here, but from discussions like this: https://stackoverflow.com/a/4417485 It seems like circa 2010 folks were referring to JavaScript as "fast" because it was more pe
28.
by 9question1 3y ago
"And even then, they had to feed the tool portions of the very articles they sought to elicit verbatim passages of, virtually all of which already appear on multiple public websites." Getting OpenAI to spit out part of the prompt
29.
by 9question1 3y ago
This is true when housing demand is controlled entirely by how many people live in the area. However, large metro hubs like NYC and London have a larger percentage of the housing supply consumed by rich people who buy part-time housing so t
30.
by 9question1 3y ago
Actually, gain of function research that's been criticized has been criticized mainly for increasing virulence. The post you're responding to here is asking about in vitro research to decrease virulence.

More ›