JadeNB

25 ms·

331.
by JadeNB 2y ago
> Yes, but are consumers that knowingly bought into the Apple ecosystem harmed? It seems that this logic would prevent any regulation of what happens on macOS or iOS, since anyone who is using either has knowingly bought into the Apple
332.
by JadeNB 2y ago
OK, thanks; that does make the claimed pronunciation clear. Still, I have literally never heard a mathematician pronounce the name that way (or Euler's in the analogous way).
333.
by JadeNB 2y ago
> My money is on it being related to BL32s and not to FP8s. But we’ll see. Googling gave me an idea of what FP8 might mean (8-bit floating point format?), but didn't immediately help with BL32 (unless it is a reference to an air blo
334.
by JadeNB 2y ago
> Its a lot easier and idiomatic to write. Surely both of these characterizations depend on the person? I can believe that integral_t^oo is idiomatic if that's what you're used to, and maybe it's easier to pick up from sc
335.
by JadeNB 2y ago
There was a project a while ago to do exactly this (in general, not for Halmos's book specifically. I assume that's the one you mean). I can't find it by Googling, but here's an Internet Archive capture of a Project Gu
336.
by JadeNB 2y ago
> There are some other big names where the same vowel sequence isn't recognized: Euler (usually pronounced with /ɔɪ/) and von Neumann (not so much). I always have trouble finding a reference for the sounds corresponding to
337.
by JadeNB 2y ago
> If this isn't monetized, is there any reason against opening its source? I personally would like to be able to disable the usage analytics and crash reports. Although I personally deplore it and try to stay away from software that
338.
by JadeNB 2y ago
> Interestingly, at least in my browser and grabbing the direct link to the comment with curl, show the bytes as 0x20 for both. Perhaps the comment submission handler, or even the browser, collated your more specific U+2009 (thin) and U+
339.
by JadeNB 2y ago
> I was under the impression that you do "-" for hyphen, "--" for En dash, and "---" for Em dash. IIRC, LaTeX (or maybe the editor, it has been some time) even helpfully changes that for you to the correct d
340.
by JadeNB 2y ago
> Spacing around an em dash varies. Most newspapers insert a space before and after the dash, and many popular magazines do the same, but most books and journals omit spacing, closing whatever comes before and after the em dash right up
341.
by JadeNB 2y ago
> A popular view in the YIMBY community is that restrictive zoning and other policies that limit housing are pushed by homeowners who are benefitting from a housing shortage, in some kind of long-range Machiavellian conspiracy to alter m
342.
by JadeNB 2y ago
> That's not necessarily bad. That's leadership. I don't think your parent said it was bad.
343.
by JadeNB 2y ago
Although it is spelled "semicolon," so that doesn't quite fit.
344.
by JadeNB 2y ago
> The US has the best SigInt capacity in the world. How can anyone, including the top SigInt people in the US, know that? It has surely always been part of the principles of good spycraft that, if you've got fantastic SigInt (or ot
345.
by JadeNB 2y ago
> Remember how she wasn't locked up? That set the precedent. Locking her up would have set a far worse precedent, and I think that the other norm-breaking behavior of the current administration does not support the idea that prior p
346.
by JadeNB 2y ago
> Nitpick: Process is expensive. Process does not yield justice by itself. It (assuming it's crafted right) just makes the outcomes more consistent. While I agree, and it's an important distinction, I think it's probably t
347.
by JadeNB 2y ago
> Source: 1 year in lockup (solitary) with them As someone whose main knowledge of the US prison system is only from TV and not from first person (thankfully), I think I don't understand what "solitary" is. I thought the
348.
by JadeNB 2y ago
> Which I'm assuming is in a university setting, yes? In which case, I would also assume that at least a majority of the students in your class actually want to be in school somewhat. In the US, it is maybe not completely wrong that
349.
by JadeNB 2y ago
> Continuing to call it Peano Arithmetic is respect for the fact that the guy got it mostly right, and it took the mathematics community many more years to refine the ideas to their current point. > Is it a shame that Galois theory is
350.
by JadeNB 2y ago
> I think this is communicated in how its performed, in the emotional tensor of its practice. A typo for "tenor," I presume, but a funny one!
351.
by JadeNB 2y ago
> Posts by Susan Fowler "so you want to self-study math/physics" have gone hugely viral here and I have yet to see anyone in the comments or later report that they actually became really good after following her tutorial.
352.
by JadeNB 2y ago
> Yes! All the endings are happy and the unfinished stories are utterly fascinating. I'm not sure the practice of mathematical research supports that all the endings are happy, but definitely all the journeys are interesting.
353.
by JadeNB 2y ago
> EDIT 2: This is all a digression anyway. Both first- and second-order PA label the start of the Z-chain as 0; so any model of PA contains 0 when interpreted as a model of PA. Ah, good point that this was the actual source o# the discus
354.
by JadeNB 2y ago
I'm away from my library, but fortunately the books you referenced are a Google away, so I could consult them and confirm that they say what you say. I'm not quite willing to accept Kleene's word as an authority on common mo
355.
by JadeNB 2y ago
In the usual terminology, these are not axioms; as your wording itself says, they are definitions. (Indeed, I'd argue that it's almost ungrammatical to say something is "defined in the axioms"; axioms may, and probably
356.
by JadeNB 2y ago
> I think I’m missing something here. PA defines x * 0 = 0 for all x. So while we could take (Z+, 1, ++) as a model of it, we would be imposing a completely different definition of multiplication than the usual. Would this not be simply
357.
by JadeNB 2y ago
Ah. I took it to be less "sama did it, so it's OK," and more "you wouldn't gatekeep sama's English, so why gatekeep the English of a random HN commenter?" But maybe that was the wrong interpretation.
358.
by JadeNB 2y ago
> I may be misunderstanding your argument, but if it's that of a simple offset, then only the one starting from 0 forms a monoid (a group without an inverse to each element). Though, of course, you could redefine the + operation...
359.
by JadeNB 2y ago
> Zero is a natural number. It is in the axioms of Peano arithmetic, and any other definition is just teachers choosing a taxonomy that best fits their lesson. It is, but it need not be. In the category of pointed sets with endofunctor,
360.
by JadeNB 2y ago
Sam Altman: https://x.com/sama

More ›