JadeNB

25 ms·

451.
by JadeNB 2y ago
What would it mean for x to be negative, if x is how many of something you have?
452.
by JadeNB 2y ago
That's the title link, too.
453.
by JadeNB 2y ago
It did yesterday! https://news.ycombinator.com/item?id=42740516
454.
by JadeNB 2y ago
> 75% with their mother and 75% with their female parents Are these different things for bees?
455.
by JadeNB 2y ago
Do you mean Android/data? This is accessible on a non-rooted device using Marc apps & software's "Files" https://play.google.com/store/apps/details?id=com.marc.files (an easily accessible s
456.
by JadeNB 2y ago
> Entirely separate, a common failure mode of dying mice is that they start generating spurious clicks. Speaking of things dying out, it's been so long since I used anything but a trackpad that I thought at first this was some stran
457.
by JadeNB 2y ago
What a lovely independent discovery! The context is similar to the (un)solvability of the 15 puzzle. https://en.wikipedia.org/wiki/15_puzzle#Solvability
458.
by JadeNB 2y ago
> LLM can generate a larger chunk of code then you'll find on SO, so I think it's a larger issue to have LLM code then copy-pasted SO code. It also generates code customized to your request, so there is temptation to avoid doin
459.
by JadeNB 2y ago
> Something I heard somewhere that stuck with me: git is less less of a Version Control System, and more of a toolkit for assembling your own flavor of one. That's how it is in principle, but it seems to me that there aren't th
460.
by JadeNB 2y ago
It's certainly up to you, but "my ideas are as important as the heliocentric model, but humanity is so far behind me that I can't even tell you about them" does not speak favorably about your ideas. (Not to mention that
461.
by JadeNB 2y ago
> So sick of Hanlon's Razor. It's just a gift to the actually-malicious. If the outcome is the same then intentions don't matter. I think that's only true for a single incident. If someone does injury to me, I'm
462.
by JadeNB 2y ago
> It says that the underlying action is on the torus (R/Z)^2. If the entries of the matrix are not integers, do we have a well defined action on the torus? It seems to me that the answer is no because Z^2 would not be invariant by t
463.
by JadeNB 2y ago
> education in Europe not only was better for reasons that cannot be openly discussed in our censorious society Huh?
464.
by JadeNB 2y ago
The page doesn't say why matrices need to have whole-number (really just integer) entries, but I'd suspect it's because bad approximations to non-integer rationals accumulate sufficiently to make the recurrence unrecognizable
465.
by JadeNB 2y ago
> I'd like to think I minimize the bleedover of corporate/profession-related speech into my daily life, but "orthogonal" and "non-trivial" were just not a standard part of my vocabulary before college. Over
466.
by JadeNB 2y ago
> I wasn't just claiming Turing completeness of Haskell. I was pointing out that every language construct, every subexpression in Haskell, directly represents a corresponding lambda term, with corresponding semantics (e.g. laziness)
467.
by JadeNB 2y ago
> Yet all that separates the λ-calculus from one modern programming language, Haskell, is a layer of syntactic sugar on top, and a runtime that effectuates its pure IO actions. We can in fact compile Haskell programs using just stdin&#x2
468.
by JadeNB 2y ago
"To mock a mockingbird" ( https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird ) is a wonderful introduction to something that's sufficiently more abstract than lambda calculus that you'll probably fin
469.
by JadeNB 2y ago
I think you meant to respond to your grandparent https://news.ycombinator.com/item?id=42686370 , not your parent https://news.ycombinator.com/item?id=42686583 .
470.
by JadeNB 2y ago
> I feel the same way but with cheaper Japanese ball pens, my favorite being. Torture for a pen enthusiast! Your favorite being what? Is it the Sarasa Clip you mention later?
471.
by JadeNB 2y ago
> In the course of my work, I think of an invariant as a state that must hold true at all points during the software’s execution. That seems quite close to the author's answer: > Perhaps it’s time to answer the title question: in
472.
by JadeNB 2y ago
> I believe that it’s defined as the size of ω₁, the set of wellorderings of the natural numbers. I don’t think there’s any real sense in which that’s less of a concrete set than the power set of the natural numbers, even if it’s harder
473.
by JadeNB 2y ago
> I had the same initial reaction, because in my mind 2^{ℵ₀} is a more fundamental concept than ℵ₁. > But the notation, and probably the theory, suggest otherwise, in which case saying there are 2^{ℵ₀} reals might be a bit like saying
474.
by JadeNB 2y ago
The title: > How many real numbers exist? New proof moves closer to an answer and the subhed: > For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise. both sugge
475.
by JadeNB 2y ago
JimDabell earlier recalled 37Signals and the Google Web Accelerator that sounds like what you mean: https://news.ycombinator.com/item?id=42619712
476.
by JadeNB 2y ago
> Meanwhile, my typical peer has a functioning family unit, and has enjoyed a relatively struggle-free existence. Are you sure about this? I know that I enjoyed a relatively struggle-free existence, and assumed that most other people di
477.
by JadeNB 2y ago
> BTW Nietzche speaks in goodreads quotes and meme-like aphorisms. Aside from the fact that I doubt it's true, this seems a lot like panning The Third Man as derivative of later thrillers.
478.
by JadeNB 2y ago
> I solve this by creating two passkeys for each account, for iOS and Chrome. This covers all the devices I might use to log in and there’s no single point of failure. This just seems to mean that, instead of being the whim of one corpor
479.
by JadeNB 2y ago
I don't know enough about Coolidge to have my opinion be worth much here, and of course it's always fair to argue whether any win or loss during or after a president's term should be attributed to them, their predecessors, or
480.
by JadeNB 2y ago
> I'm surprised that you say an imperative language would give you an _easier_ embedding than using Haskell. I don't think your parent says this. The three comparisons I found were: > The fun thing is that this sounds like

More ›