Maxatar

18 ms·

271.
by Maxatar 1y ago
No it won't. You must first fix a specific theory to apply your solver to. It won't work for every arbitrary choice of theory even with recursively enumerable axioms.
272.
by Maxatar 1y ago
Your point that reference counting can result in memory leaks is absolutely correct and a worthwhile point. However, it's also worth pointing out that tracing garbage collectors like those used by Java are also allowed to leak memory a
273.
by Maxatar 1y ago
>The only way it's correct to say they are mutually exclusive is when you define "data race" as they did in the C++ standard, to imply a non-atomic access. A data-race does not imply a non-atomic operation, it implies an u
274.
by Maxatar 1y ago
The Java specification which can be found here [1] makes clear that with respect to its memory model the following is true: 1. Per 17.4.5 your example can lead to a data race. "When a program contains two conflicting acce
275.
by Maxatar 1y ago
No one is asking you to spell out the edge cases, but when you claim that a halting oracle can be used as a general-purpose theorem prover and I point out the edge cases where that won't work, it's pretty egregious to then say
276.
by Maxatar 1y ago
This isn't pedantry, if you're going to talk about how specific tools work then you need to use the actual terminology that the tools themselves use or else you will confuse yourself and anyone you talk to about them. If we were d
277.
by Maxatar 1y ago
I feel like in a subtle way you're mixing up data races with race conditions, especially given the example you site about incrementing an atomic variable. TSAN does not check for race conditions in general, and doesn't claim to do
278.
by Maxatar 1y ago
Terminology isn't the most important detail here and there's no real point dwelling on it, what's important are the actual fundamental concepts at play. An oracle for the halting problem can not be used to prove or disprove t
279.
by Maxatar 1y ago
HackerNews isn't not exactly like reddit, sure, but it's not much better. People are much better behaved, but still spread a great deal of misinformation. One way to gauge this property of a community is whether people who are kno
280.
by Maxatar 1y ago
I don't think that's much of an issue. If you need deferred initialization then stick to a pointer and then once the pointer is initialized shadow it with a reference. int* pre_foo = null; ... initialize pre_foo ...
281.
by Maxatar 1y ago
>A solution to the Halting problem can be repurposed as a general-purpose theorem prover. The author is correct. You simply write a program that searches all possible valid proofs till it finds the one you are looking for (or maybe does
282.
by Maxatar 1y ago
Sure, but neither bcrypt or chess fall into the category of being unprovable, so having a halting detector doesn't help for those situations. The author is mixing up problems that are "hard" in the sense that we know in princ
283.
by Maxatar 1y ago
How does releasing it today affect the market compared to releasing it last week?
284.
by Maxatar 1y ago
It's defined as the distance from the center of mass to the point where the pressure is equal to the pressure on Earth at sea level.
285.
by Maxatar 1y ago
Alberta has been particularly hit hard by the opioid crisis.
286.
by Maxatar 1y ago
Big-O notation does not have a goal, it's a description not a strategy.
287.
by Maxatar 1y ago
> In algorithm analysis, we would typically have n represent time (or some other cost). No, n is never time in any kind of algorithmic analysis. n is a function of the size of the input and the output is some measure of the cost related
288.
by Maxatar 1y ago
I'm sorry that you're confused about this subject.
289.
by Maxatar 1y ago
Nothing about my post has anything to do with assembly. You asked for, and I quote "Show me some O2 optimizations that will act contrary to code I wrote - meaning they violate the “as if” rule." and I provided just that. You can g
290.
by Maxatar 1y ago
Israel, as per the declaration: https://www.hhs.gov/press-room/anti-semitism-task-force-stat...
291.
by Maxatar 1y ago
Two points... the first is you want an optimization that violates the "as if" rule, sure... copy constructors are allowed to violate the "as if" rule, so here you go: https://godbolt.org/z/jzWWT
292.
by Maxatar 1y ago
You're not far off. In C++26 the syntax will be: int x [[indeterminate]]; I'm not kidding here;
293.
by Maxatar 1y ago
`foo() = default;` is an explicit way to generate a default constructor for `foo`. The default constructor works by recursively calling the default constructors for all class instance fields. In C++ there are a bunch of rules about when a c
294.
by Maxatar 1y ago
I'm not familiar with programming languages that generate redundant stores in order to initialize anything. Usually what happens is the language requires you to initialize the variable before it's read for the first time, but this
295.
by Maxatar 1y ago
It's so ironic hearing a comment like this. If what you really want is for C++ to do only what you strictly specified, then you'd always release your software with all optimizations disabled. But I'm going to go out on a limb
296.
by Maxatar 1y ago
Bank tellers do steal money from the banks they work for though and banks invest a significant amount of resources and have a lot of policies to prevent it. For example at many banks the teller might need to get manager approval for some ca
297.
by Maxatar 1y ago
For most real time systems, including many games, it doesn't matter if one is more efficient than another because what matters is the predictability that comes from always rendering a complete frame in 1/60th of a second. In many
298.
by Maxatar 1y ago
Beef alone accounts for 6% of greenhouse gas emissions with livestock in total accounting for 14.5%. That is not a rounding error by any means: https://openknowledge.fao.org/server/api/core/bitstreams/492
299.
by Maxatar 1y ago
Plagiarism isn't illegal, has nothing to do with the law.
300.
by Maxatar 1y ago
I don't have any answers to give, I'm not very well informed on this topic. I'm asking you what makes you familiar with South Korea that you can make such a strong judgement about someone else's character or motivations

More ›