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…
“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…
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.
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…
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…
Exceptions, such as the entirety of Europe? This level of privacy violation is truly incomprehensible to most citizens of European countries.
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
This looks pretty interesting, and it's also cool to see situations where the hardware manual says you should not do something, while in practice it is okay due to the way the hardware is actually implemented…
There are still some points in your explanation of data races that are not entirely correct (partly a matter of definitions). A data race occurs when two memory accesses race, and at least one of them is a write. In…
I sometimes wonder what is the fundamental distinction between a callback-based API and this wakeup-based task API. I guess the main difference is that in a callback you generally provide the result as an argument…
It's an interesting thought experiment IMO and you can't really resolve moral questions by looking at what the law says. After all, the law tends to be based on some moral principles, and laws can fail or be…
Having "unsafe" mean "can wreak havoc if used incorrectly" is fine, as long as it's clear what constitutes incorrect usage, and what the behavior of correct usages is. And it does not have to be clearly defined what…
Relegating parts of the memory model with unclear/hard-to-specify semantics (i.e. relaxed or consume) to the "unsafe" part of the language is an interesting idea, but it kind of goes against the spirit of "unsafe" (this…
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…
“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…
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.
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…
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…
Exceptions, such as the entirety of Europe? This level of privacy violation is truly incomprehensible to most citizens of European countries.
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
This looks pretty interesting, and it's also cool to see situations where the hardware manual says you should not do something, while in practice it is okay due to the way the hardware is actually implemented…
There are still some points in your explanation of data races that are not entirely correct (partly a matter of definitions). A data race occurs when two memory accesses race, and at least one of them is a write. In…
I sometimes wonder what is the fundamental distinction between a callback-based API and this wakeup-based task API. I guess the main difference is that in a callback you generally provide the result as an argument…
It's an interesting thought experiment IMO and you can't really resolve moral questions by looking at what the law says. After all, the law tends to be based on some moral principles, and laws can fail or be…
Having "unsafe" mean "can wreak havoc if used incorrectly" is fine, as long as it's clear what constitutes incorrect usage, and what the behavior of correct usages is. And it does not have to be clearly defined what…
Relegating parts of the memory model with unclear/hard-to-specify semantics (i.e. relaxed or consume) to the "unsafe" part of the language is an interesting idea, but it kind of goes against the spirit of "unsafe" (this…