daxfohl

51 ms·

751.
by daxfohl 3y ago
Nothing can infer _all_ types. Or even much of a subset. I was surprised to learn that Hindley Milner can't infer "id" as a function argument, and attempting to extend it to do so results in undecidability: https:/&#x2F
752.
by daxfohl 3y ago
If they want to operate in the country. Is google going to leave whole countries just because of being required to use and compensate local news? Essentially it's a tariff.
753.
by daxfohl 3y ago
Is there a way to invest in stuff like this? What kind of returns do you get?
754.
by daxfohl 3y ago
Seems like nim could be a good replacement? GC when you need it and explicit control when you need that.
755.
by daxfohl 3y ago
Are things any different in, say, Dubai?
756.
by daxfohl 3y ago
Paradigm-wise I find these the most interesting. All the others (maybe except prolog) are really just different ways to write a sequence of instructions. HW definition is fundamentally different. It does everything all the time and you have
757.
by daxfohl 3y ago
"deleting code" should have been included in the "two hardest things in computer science".
758.
by daxfohl 4y ago
> NuGet is a decent/good package manager I remember F# designed its own package manager (paket) because of NuGet's deficiencies. I haven't been on that ecosystem for a while now. Have things changed? (My memory is that pak
759.
by daxfohl 4y ago
Would it be easier to do for baby babble?
760.
by daxfohl 4y ago
IME you're gonna screw it up the first time anyway, and the simplest option is usually the easiest to patch once you figure out what you actually need.
761.
by daxfohl 4y ago
Or just realize that the formula for stopping distance due to friction is independent of mass.
762.
by daxfohl 4y ago
The thing I can't get is how it falls in gravity (rate of acceleration in a gravity field is mass independent), but pulls a spring upward.
763.
by daxfohl 4y ago
Endless negative energy
764.
by daxfohl 4y ago
I feel like the first example plus https://en.m.wikipedia.org/wiki/Bell%27s_spaceship_paradox reveals a need for something beyond Newtonian gravity.
765.
by daxfohl 4y ago
It's wrong anyway. The friction force would be the opposite direction, but then the acceleration due to a force on the negative mass would flip direction again. So it would slow down like a positive mass.
766.
by daxfohl 4y ago
First example is wrong. Both would shoot off at infinite speed. https://en.m.wikipedia.org/wiki/Elastic_collision
767.
by daxfohl 4y ago
But are they more paradoxical than relativity itself?
768.
by daxfohl 4y ago
Wow, my dad runs some apartments and he's always buzzing random stuff from one place to another. He complains all the time that pickup trucks keep getting bigger and harder to use for day-to-day tasks. Seems like something like this wo
769.
by daxfohl 4y ago
There's also the projectively extended definition, where positive and negative infinity are defined to be the same thing. It has some nice properties like division by zero is defined, but you lose total ordering of course. In a way tha
770.
by daxfohl 4y ago
Not for a while. They seem decent at generating scaffolding or algorithms, but like for any of the projects I've done recently, it's "figure out what this big piece of mangled code does, take some requirements or high-level i
771.
by daxfohl 4y ago
I think so! I mean, imagine if, when you notice some perf hiccup and you dig and realize you need to store your data in some different way. Currently, commence a multi-month design cycle, create the migration path, perform the migration in
772.
by daxfohl 4y ago
Dead?
773.
by daxfohl 4y ago
Or maybe it's what they had to do to justify future rate hikes? I hope so, need some way out of this hole. But certainly billionaires are plotting how to capitalize on it. Feels like 2008 but in much slower motion so the wealthy can sq
774.
by daxfohl 4y ago
And few tourists and the roads are nice. You can go rent a car, drive to a national park, hang out by a watering hole with a ton of wildlife, and have the whole thing largely to yourself. Completely different experience from Kenya and Tanza
775.
by daxfohl 4y ago
I did a 1 year break that turned into a 3 year break, living out of a backpack and bike on 20K savings when I was that age. I invested decently and traveled cheap and ended up coming back with slightly more than I had when I left. Got a job
776.
by daxfohl 4y ago
"I don't care what you say, but I will defend to the death my right to comment on what I think you might have said."
777.
by daxfohl 4y ago
It's like that Seinfeld episode. https://seinfeld.fandom.com/wiki/Donna_Chang
778.
by daxfohl 4y ago
As not ex military, the article sounds plausible. Likely, even. My main objection is, who would be the source? It sounds like there are maybe 20 people in the world who would have this level of information. Each of those individuals would p
779.
by daxfohl 4y ago
Hersh's story sounds reasonable, but my question is who in this situation would leak it? Vietnam had thousands of kids drafted straight out of high school witnessing a massacre that might want to get something off their chest. Here you
780.
by daxfohl 4y ago
I don't get it. US wanted it gone, Russia wanted it gone, Norway wanted it gone. Other comments suggest other countries wanted it gone too. Now it's gone. Shouldn't countries be lining up to take credit? What's the big d

More ›