Hercuros

6 ms·

1.
by Hercuros 9mo ago
How do you count how many bugs a program has? If I replace the Clang code base by a program that always outputs a binary that prints hello world, how many bugs is that? Or if I replace it with a program that exits immediately? Maybe another
2.
by Hercuros 11mo ago
“Expression” is a bit of an overloaded word here. Carrying a swastika is considered similar to hate speech. Just like you cannot just make death threats in the U.S., even though you are just “expressing” yourself as long as you do not carry
3.
by Hercuros 1y ago
With the way things are going with climate change, I think that assuming “extreme climate events in different geographies are independent statistical events” is an extremely flawed assumption to make. You acknowledge that it is a simplified
4.
by Hercuros 1y ago
> Isn't the stigma desired anyway? It keeps people from going through with it. That's why society deliberately creates and actively cultivates the stigma. That’s a very optimistic take on how “rational” society tends to be. The
5.
by Hercuros 1y ago
The person you are replying to shared some research by experts on the topic giving recommendations. You can argue for or against anything, but it’s useful to at least engage with the evidence being presented.
6.
by Hercuros 1y ago
I guess the internal exposure state would be “wrong” if the compiler removes the dead load (e.g in a pass that runs before provenance analysis). However, if all of the program paths from that point onward behave the same as if the pointer w
7.
by Hercuros 1y ago
The specification proves a property about an algorithm/function, namely the equivalence between a more complicated memoizing implementation and a simpler direct recursive implementation. It is also true that no numerical reasoning is h
8.
by Hercuros 1y ago
How could you say that your views are aligned with those of Descartes and Kant if you have not seriously engaged with their works and what others have written about them? All serious works in philosophy (Kant especially) are subject to inte
9.
by Hercuros 1y ago
Exceptions, such as the entirety of Europe? This level of privacy violation is truly incomprehensible to most citizens of European countries.
10.
by Hercuros 1y ago
I think the issue comes with trying to present a USB mass storage API to the host where you allow the host to write to any arbitrary byte offset of the mass storage device without the structure that is imposed by a file system. If the host
11.
by Hercuros 2y ago
It’s not just about the energy usage, but also purchase cost of the GPUs and opportunity cost of not using those GPUs for something more valuable (after you have bought them). Especially if you’re doing this at large scale and not just on a
12.
by Hercuros 2y ago
In many European countries there is an expectation that employers behave in socially responsible ways. In many cases this is also codified into law. Employers also benefit from government support (e.g. the government sponsors education that
13.
by Hercuros 2y ago
Does that make it any better even if it is true? (And I don’t think that it is as true as you make it out to be, e.g. it’s not true for my medium-sized organization) Just because it’s good for “career optimization” does not make it less of
14.
by Hercuros 2y ago
For every story like this, there’s another story where everything moves in the opposite direction.
15.
by Hercuros 2y ago
The data would still be awful, and people would pay less attention to the study because it’s not a priori surprising that ChatGPT would write worse poetry than the most celebrated poets in history. If I use bad data to conclude that “Java i
16.
by Hercuros 2y ago
I don’t fully agree with putting down “fun” movies like the Avengers, but at the same time “serious” art is not primarily for plain entertainment. People might find “serious” art meaningful and it might spark feelings in them, but that’s no
17.
by Hercuros 2y ago
I suppose the memory being mapped twice could be detected by anti-cheat though. You can then also make more mitigations to prevent detection of the mapping (e.g. hooking the syscall to check the active mappings), but it’s always a cat and m
18.
by Hercuros 2y ago
I don’t think speculation about AGI is possible on a rigorous mathematical basis right now. And people who do expect AGI to happen (soon) are often happy to be convinced by much poorer types of argument and evidence than presented in this p
19.
by Hercuros 2y ago
I think the biggest fallacy in this type of thinking is that it projects all AI progress into a single quantity of “intelligence” and then proceeds to extrapolate that singular quantity into some imagined absurd level of “superintelligence”
20.
by Hercuros 4y ago
Why is it all about doing more and not about doing less? I sincerely doubt that a technological solution is possible that would not require any reduction/change in our current lifestyles. Where is the evidence that we only need a suffi
21.
by Hercuros 4y ago
You can have some seriously in-depth discussions in sociology or philosophy as well, that would be hard to follow for someone with just a STEM background. The kind of sociology or philosophy one would discuss without preparation or reading
22.
by Hercuros 4y ago
I think times are also just different now. Now a lot of the talent just gets vacuumed up by the Big Tech companies where they can be a cog in some wheel. You seem to be ascribing some moral failure to the younger generations whereas there a
23.
by Hercuros 4y ago
One thing that does always strike me about such libraries is that they are often relatively easy to use for common scenarios like that, and the mental model is really not so complicated or abstract as to require category theory or something
24.
by Hercuros 4y ago
I think that it's also important to realize that maximizing "health" is not some kind of absolute goal. Not every aspect of life needs to be optimized to the highest level. Of course, obesity is a huge issue (especially in th
25.
by Hercuros 4y ago
I am personally not a big believer in the idea that art is just a means to an end (even if that end is something we consider very valuable). This article uses the words "purpose" and "goal" a lot, and it is that aspect t
26.
by Hercuros 4y ago
It's not the case though that what's most "productive" in the economic sense is also necessarily the most socially desirable outcome. The economy might be optimizing for some objective of productivity (though it's p
27.
by Hercuros 4y ago
To be fair, even if you were able to get BB(n), it might still be (and probably is) some ridiculously large number, like a billion times the number of atoms in the universe or something. So that wouldn't really help you solve any math
28.
by Hercuros 4y ago
In an interactive application, you probably don't want to allow the user to queue up 30000 actions that will then slowly get executed over the next, say, 10 minutes. That would mean there is an extremely large delay between taking a UI
29.
by Hercuros 4y ago
I would say that implementation details could be visible to you as a user, but should not be relied upon because they are not part of the documented API. E.g. it might be visible to you that a certain operation runs quickly on certain input
30.
by Hercuros 5y ago
How much does this optimization save in terms of executable size on realistic examples (i.e. a full-sized code base)? I would naively expect that for most functions you know too little about their arguments or the state in which they will

More ›