n4r9

39 ms·

721.
by n4r9 1y ago
Interesting. Even OSM's own server only releases a weekly full planet PBF [0]. However I believe it releases diffs more regularly, which I guess is how OPD is creating a daily planet PBF. [0] https://planet.openstreetmap.org
722.
by n4r9 1y ago
I see. That looks a lot like it's applying a Widmark-style model [0], which assumes that absorption is instantaneous, and that drinking starts in a fasted state unaccompanied by food or water. I guess that makes sense if we're lit
723.
by n4r9 1y ago
That's nonsense. A shot of spirits is one unit of alcohol. A pint of strong-ish beer like Stella Artois is 3 units. 550 calories is easily a dinner's worth for a woman of 70kg, or a man that's heavier but trying to gradually
724.
by n4r9 1y ago
That doesn't match my experience, or most of the stuff I've read. The number of calories I need to hit to lose weight has been pretty constant from my early twenties to late thirties. That said, I didn't have to be as careful
725.
by n4r9 1y ago
Yeah, that's definitely a factor in the attempt to "undercut and outlast". I guess I have two defenses: firstly, network effects might not be crucial, it might be enough for there to be a small cost to changing provider; seco
726.
by n4r9 1y ago
One of those arguments is: > there's not that much motive to gain API market share with unsustainably cheap prices. Any gains would be temporary, since there's no long-term lock-in, and better models are released weekly The goa
727.
by n4r9 1y ago
I definitely find it suprising that a shot of gin has as many calories as an apple.
728.
by n4r9 1y ago
There's no need for that hostility. I'm just spitballing charitable interpretations of rbanffy's statement. And you have pushed impossibility arguments e.g. > Gene based evolution is constant. There is no way to avoid it
729.
by n4r9 1y ago
... how much money will they save?
730.
by n4r9 1y ago
> [evolving past competition] makes no sense ... as evolution is fundamentally competitive https://news.ycombinator.com/item?id=44208547
731.
by n4r9 1y ago
> you’d be as likely to match up with a random Chinese 60 year old, or a 13 year old African tribe member, or 30 something European Any such system would probably match people within the same generation. At a future point humans may be f
732.
by n4r9 1y ago
The advancement and flourishing of the human species. But that's beside the point. What rbanffy suggests might be absurd, but not because it somehow violates the laws of biology.
733.
by n4r9 1y ago
It's great that those languages exist. But that doesn't refute that mainstream PL design is linguistically narrow. Even the languages in that article are mostly monolingual, whereas the author is envisioning multilingual languages
734.
by n4r9 1y ago
I guess they're aiming to handle narrow edge cases in later iterations.
735.
by n4r9 1y ago
No, no one suggested that's happening now. It would require a lot of social change.
736.
by n4r9 1y ago
Okay. But if social norms lead to almost everyone mating randomly and couples having the same number of kids on average, then what happens to genetic evolution?
737.
by n4r9 1y ago
> America is notoriously bad at maintaining critical public infrastructure. How does that compare with food safety in commercial products? That's the question.
738.
by n4r9 1y ago
Artificial selection need not be competitive in the same way that natural selection is. And even if it were, competition between genes doesn't necessarily equate to competition between individuals.
739.
by n4r9 1y ago
Yeah. This list is more like "model simplifications you should think twice about making".
740.
by n4r9 1y ago
If you're suggesting categorising according to genetics, then I don't think the scientific consensus is with you. Pet breeds have clear biological divisions that humans do not. See e.g. https://onlinelibrary.wiley.com&#
741.
by n4r9 1y ago
> scientists use "race" in their research as if it is a legitimate means of categorizing people The journal Nature Human Behaviour published ethics guidelines in Aug 2022 which touch on this: > Race and ethnicity are sociopo
742.
by n4r9 1y ago
Agreed; translating to Lean/Coq is more likely to prove the positive rather than the negative. It may still be useful in pinpointing where incorrect proofs go wrong.
743.
by n4r9 1y ago
I asked a very similar question a couple of weeks ago here: https://news.ycombinator.com/item?id=44028051 The top answer helped me to understand. > Presumably an AI would formalise the proof in a system such as Lean, the
744.
by n4r9 1y ago
As other commenters have noted, this is a fairly tame result. Word-count comparisons in books of the Old Testament mostly supports the scholarly consensus on authorship, and occasionally supports minority opinions. If this sort of thing sou
745.
by n4r9 1y ago
You don't need to wonder. It's in the Acknowledgements section of the paper. > JVL, HEM, and CJK acknowledge institutional support to ISGlobal from grant CEX2023-0001290-S, funded by MCIN/AEI/10.13039/50110001103
746.
by n4r9 1y ago
Ah, I think I see the confusion. In the linked article it talks about whether the code itself can include non-western digits. That's distinct from whether it can handle strings or render text containing non-western digits.
747.
by n4r9 1y ago
How do you mean? I just tried typing var x = ٢ + ٢; into a C# project in Visual Studio and got a bunch of errors like Unexpected character '٢'
748.
by n4r9 1y ago
Not the same person but there's no spellchecker for me when I type in the reply box. I'm on Firefox and Windows 11. Screenshot: https://v1.imgpaste.net/images/public/1564a772-9648-4540-88d...
749.
by n4r9 1y ago
Well, except that Karl Marx's mother was Jewish.
750.
by n4r9 1y ago
Hah, thanks for the correction.

More ›