Sniffnoy

53 ms·

601.
by Sniffnoy 6y ago
Non-mobile link: http://funcall.blogspot.com/2021/04/early-lisp-part-ii-apply...
602.
by Sniffnoy 6y ago
Ah, I missed that, thanks. That said, I think there's still a big difference between "only omits a finite number of hypergraphs" and "only omits a finite number of hypergraphs of bounded size ". I'd regard t
603.
by Sniffnoy 6y ago
This article seems to leave out a key caveat: They only proved this conjecture for sufficiently large n, not for all n. [Edit: Oops, apparently I was wrong, it does list that caveat -- but doesn't go into the further detail I discuss
604.
by Sniffnoy 6y ago
A note, the pictures seem to have vanished in the Tor version of the article. It would probably be better to link to the original version on Ex Urbe: https://www.exurbe.com/the-borgias-vs-borgia-faith-and-fear/
605.
by Sniffnoy 6y ago
The link currently contains an anchor to the bottom on the end; here's the link without that: https://www.cell.com/current-biology/fulltext/S0960-9822(21)...
606.
by Sniffnoy 6y ago
> “I don’t know” and “I don’t care” would be honest answers. The former is not a valid justification for closing the issue. The latter would backfire. Nah, you can totally say that you don't care, you just gotta phrase it right. &q
607.
by Sniffnoy 6y ago
This may be supported in some implementations, but currently only England, Scotland, and Wales are officially in the Unicode data files and recommended for general interchange. You can see that they're the only examples of RGI_Emoji_T
608.
by Sniffnoy 6y ago
I didn't downvote, but if it's being downvoted, it's probably because the article does mention "lo", although only in the context of Asturian, not standard Spanish. > Distinct but unofficial Romance languages l
609.
by Sniffnoy 6y ago
You're thinking of Agloe, New York: https://en.wikipedia.org/wiki/Agloe,_New_York However, it never really became a real town or anything. There was an Agloe General Store there, but that seems to have been it.
610.
by Sniffnoy 6y ago
Question: If the ship is called the "Ever Given", why does its side say "Evergreen" instead?
611.
by Sniffnoy 6y ago
Yes, exactly, that's what I meant. The problem in general is as you say, but I was talking about MOND-based theories, as that was the context.
612.
by Sniffnoy 6y ago
This description doesn't explain how this correspondence between 't's and 'u's is determined?
613.
by Sniffnoy 6y ago
I think you're just mistaken as to how complete of a theory MOND proper has ever been. See e.g.: https://en.wikipedia.org/wiki/Modified_Newtonian_dynamics#Ov... Like, if you pick a specific interpolation function
614.
by Sniffnoy 6y ago
Sure, original MOND no, but original MOND is not an actual theory of gravity. People try to make actual theories of modified gravity that replicate MOND's predictions, but you can't actually just use MOND as a theory of gravity.
615.
by Sniffnoy 6y ago
In what way is it extra steps, as opposed to the same number of steps?
616.
by Sniffnoy 6y ago
My understanding is that, though commonly repeated, this is not actually true. The thing is that modified gravity (MOND) theories modify gravity by introducing a new field(s); this means that, as with dark matter, it is possible for this n
617.
by Sniffnoy 6y ago
Non-AMP link: https://boingboing.net/2020/12/15/the-quiet-horror-of-proced...
618.
by Sniffnoy 6y ago
Hm, the post gives a closed form for the area of the conjectured best ambidextrous sofa; is there one also for the area of the conjectured best sofa?
619.
by Sniffnoy 6y ago
Worth noting, though it's not in the article, that they're aiming for a commerical version (ARC) in 2030.
620.
by Sniffnoy 6y ago
> The writing is on the wall: Ada is here to stay. OK, this has no relation to the actual content of the article, but I have to point out that that is not what the phrase "the writing is on the wall" means.
621.
by Sniffnoy 6y ago
He does talk about that use of 500s: > In 1993, NANP allocated the 500 NPA to Personal Communications Service (PCS), not to be confused with Personal Communications Service (PCS). ... [T]he former refers to... EasyReach 700 all over agai
622.
by Sniffnoy 6y ago
I mean speaking personally, the reason I don't get in on such things is that I'd have to hold cryptocurrency. This means both technical complexity (Buterin discusses the fairly low complexity of getting into such markets once you
623.
by Sniffnoy 6y ago
What's wrong with ellipsis as syntax? Plenty of languages have some sort of ellipsis (either 3 dots or 2) as syntax. See for instance https://en.wikipedia.org/wiki/Ellipsis#Programming_languages and https:&#x2F
624.
by Sniffnoy 6y ago
That part isn't unfinished; it's a rhetorical device. The first ellipsis there represents the speaker realizes that the approach he's about to propose can't be made to work. If you like, imagine it said > So we can
625.
by Sniffnoy 6y ago
The letter mentions that "building an Autotools-based project directly from its VCS checkout is often significantly harder than building it from a tarball release, and may involve tracking down and installing any number of unusual tool
626.
by Sniffnoy 6y ago
I don't think this is a sufficient explanation; there were a number of scientific voyages of explanation. See https://en.wikipedia.org/wiki/European_and_American_voyages_... , although most of those postdate 1822.
627.
by Sniffnoy 6y ago
It's very surprising to me that as late as 1822 Europeans had no idea where migratory birds went. I would have expected that this would have been determined back during the age of exploration, once they gained access to these places.
628.
by Sniffnoy 6y ago
A quantum computer with real amplitudes is not an analog computer. The two are quite different. Note that a quantum computer with real amplitudes is actually just as powerful as one with complex amplitudes; the complex amplitudes are ac
629.
by Sniffnoy 6y ago
Oh, yes, that's a good way of putting it, thanks!
630.
by Sniffnoy 6y ago
Here's an earlier article about this: https://spectrum.ieee.org/automaton/robotics/space-robots/jp... And here's an earlier article about the approach of using high temperature electronics instead -

More ›