Viewing profile — Hercuros

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 rep…

“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 yo…

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…

> 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 …

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 t…

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 path…

The specification proves a property about an algorithm/function, namely the equivalence between a more complicated memoizing implementation and a simpler direct recursive implement…

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 serio…

Exceptions, such as the entirety of Europe? This level of privacy violation is truly incomprehensible to most citizens of European countries.

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 …

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). Espe…

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 gov…

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 i…

For every story like this, there’s another story where everything moves in the opposite direction.

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 …

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 m…

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 syscal…

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 po…

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 qua…

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 life…

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 …

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 s…

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 compli…

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 cour…

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" a…