denotational

6 ms·

1.
by denotational 2mo ago
The OP, or the Abseil docs?
2.
by denotational 2mo ago
The delayed-choice quantum eraser wasn’t carried out experimentally until 1999, so I think it’s a bit misleading to say this is what makes the double-slit experiment (first carried out with matter in 1927) so weird. For me, the weird thing
3.
by denotational 2mo ago
> the usual garbage undergrad textbooks Out of interest, please could you give some examples of textbooks you consider garbage, and some you consider not to be (undergrad or otherwise)?
4.
by denotational 3mo ago
Fair enough: I was reading the original comment as referring to (thermal) noise intrinsic to the amplifier design itself (as opposed to noise due to imperfections in DC supply or due to coupling with some external transmitter), but this mak
5.
by denotational 3mo ago
I see, so you want to band-limit the noise, and are willing to accept potentially raising the noise floor in the band-limited range, the idea being that if the original noise is sufficiently broad-band, this will still increase SNR?
6.
by denotational 3mo ago
Off-topic, but can an RC circuit really reduce noise? I can see how it would reduce distortion (which is not the same as noise), but adding passives is surely going to increase thermal noise?
7.
by denotational 5mo ago
The paper that introduced the implicit lifetime mechanism suggests that std::launder is not required: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p05... .
8.
by denotational 5mo ago
If the type is an implicit-lifetime type, then you can legally create an unsigned char array, and then reinterpret_cast a pointer to that to a pointer to the type. See https://eel.is/c++draft/intro.object#def:object,imp
9.
by denotational 5mo ago
Hardware, see https://en.wikipedia.org/wiki/Tomasulo%27s_algorithm .
10.
by denotational 6mo ago
> Yes -- in set theory sets can contain themselves Which set theory? ZFC doesn't permit this. Non-well-founded set theories are so non-standard that I think it's wrong, or at least misleading, to claim that unqualified "se
11.
by denotational 6mo ago
Has anyone looked at using greywater for evaporative cooling? I couldn’t find much after a quick Google, aside from small scale domestic usage.
12.
by denotational 6mo ago
Given the “rightsholders” have no rights over OpenTTD (only the assets are copyrightable, and OpenTTD has had its own set of open-source assets for the past 15 years), I can’t agree with this. I’m not sure how to interpret this other than A
13.
by denotational 7mo ago
> On another occasion much later, I learned by chance that putting certain provocative information on a security clearance form can greatly speed up the clearance process. But that is another story. Presumably this is the famous (?) stor
14.
by denotational 7mo ago
Please could you elaborate?
15.
by denotational 8mo ago
It’s not really margin since there’s no leverage: the potential loss associated with the bet has to be deposited, so it’s fully collateralised.
16.
by denotational 9mo ago
* A set that isn't open isn't (necessarily) closed. * A set that is open can also be closed.
17.
by denotational 9mo ago
> Good publishing costs money Good faith question: aside from hosting costs, what costs are there, given the reviewers are unpaid?
18.
Are conference reviewers harsher when they have a submission of their own?(johnwickerson.wordpress.com)
2 points by denotational 10mo ago|0 comments
19.
by denotational 11mo ago
Right, but if you fill in the shorthand there’s no reason to think it’s circular; it’s just a normal definition at that point, albeit one without much motivation.
20.
by denotational 11mo ago
Do you mean specifically as consumer products? There are loads of 10GbE switches from Cisco/Juniper/Arista/et al.
21.
by denotational 1y ago
In its defence, the headline says "file operation" rather than "syscall", which makes it slightly less egregious: it's referring to `mmap` as a member of `struct file_operations`.
22.
by denotational 1y ago
A null-pointer dereference in C will be just as fatal (modulo optimizations).
23.
by denotational 1y ago
OCR errors?
24.
by denotational 1y ago
It doesn't, at least on the version I have access to, as it is configured on that cluster. I’m using Linux rather than AIX. fcntl(2) locks are supported (as long as they aren't OFD), but flock(2) locks don't work across nodes
25.
by denotational 1y ago
Sadly GPFS still doesn’t support flock(2), so I still avoid it.
26.
by denotational 1y ago
I think that's a pretty uncharitable take; I thought there were several interesting questions raised by the author: 1. Should conference "service" be something we expect of postdocs (and even PhD candidates) rather than estab
27.
by denotational 2y ago
> BB(764) is an integer (!) that I know is uncomputable I meant BB(748) apparently. To elaborate on this point a bit, I specifically mean uncomputable in ZFC. There may be other foundations in which it is computable, but we can just find
28.
by denotational 2y ago
> Two Dedekind reals (A, B) and (A', B') are equal if and only if they have identical representations. […] Can you elaborate on how you're thinking about decidability? Direct: Make one of the sets uncomputable, at which po
29.
by denotational 2y ago
I’m not who you replied to, but: The equivalence classes of integers: pairs of naturals with (a, b) ~ (c, d) := (a + d) = (b + c). The equivalence classes of rationals: pairs of integers with (a, b) ~ (c, d) := ad = bc. It’s “easy” to tell
30.
by denotational 2y ago
I don’t really know what a “calculus” class is since here (the UK) that term isn’t really used for university-level mathematics; we’d usually say “analysis” instead, but I know that “analysis” is a class in the US too, so I don’t know if ca

More ›