eridius

36 ms·

361.
by eridius 7y ago
Is there actually a formal language semantics definition anywhere? I thought all we had was stuff like https://doc.rust-lang.org/reference/index.html which is explicitly listed as "not a formal spec".
362.
by eridius 7y ago
AFAIK there is no prescriptive standard for Rust, there's only descriptions of how the rustc compiler works. But this was a very intentional decision quite some time ago, and is also the reason why the `std::ptr::NonNull` type exists (
363.
by eridius 7y ago
Something I've never seen JIT proponents talk about is the cost of maintaining all of the information necessary to make smart specialization decisions, both in terms of storage space and in the execution overhead of updating that info.
364.
by eridius 7y ago
Is it not obvious from inspecting a carcass whether it died due to impact with a vehicle versus some other means?
365.
by eridius 7y ago
Apple relying on Samsung to build components for iPhones is a huge one as well.
366.
by eridius 7y ago
I didn't say it was universal, but it's extremely widespread, and more importantly, it's widespread among a diverse set of languages that don't share a common root. Incidentally, the Wikipedia page for "Mama and pap
367.
by eridius 7y ago
Tell that to the kids who died playing in unsafe conditions. One can certainly argue that we've gone too far in the direction of removing all risk of injury. But saving lives? Absolutely the right thing to do! One preventable death i
368.
by eridius 7y ago
If you don't want the borrow checker, why are you even using Rust? The borrow checker is the foundation of the zero-cost safety guarantees that make Rust such an incredible language to work with.
369.
by eridius 7y ago
What are these "gobs of languages"? I know there are a few, but the sounds there are generally still things that are really easy for babies to say. What's interesting about "mama" is that it's the same (or very
370.
by eridius 7y ago
I think "ma" generally comes first in baby's lexicon, and historically the gestational parent has been the primary caretaker (and the gestational parent in most cases has the identity "mother"), so it's no surp
371.
by eridius 7y ago
Neither of those match the rather unsurprising answer I've heard before, which is that "mama" and "papa" are two of the simplest sounds babies can make and therefore two of the sounds babies are most likely to start
372.
by eridius 7y ago
Ok "reelection" is the wrong term, but if anything this is worse, because if judges can have multiple terms then it means they're beholden to the current president when their term ends and therefore will be heavily swayed by
373.
by eridius 7y ago
I'm really hoping that the choice of name here is meant as commentary on the trend of coming up with cute names for vulnerabilities. Using emoji combinations for vulnerability names does seem like the next logical step, even though it&
374.
by eridius 7y ago
Many apps are available exactly the same on Android as well, and nearly all apps have at least some equivalent on Android. The fact that an iOS app isn't literally compatible with Android, you can't take the exact same binary and
375.
by eridius 7y ago
"iPhone users" isn't a general market category.
376.
by eridius 7y ago
The problem with the "monopolizing a market" idea is the fact that "Apple devices" is not a meaningful market, and within the actual "smartphone" market Apple very clearly does not have a monopoly.
377.
by eridius 7y ago
I don't understand this argument though. Surely if both app customers and app developers sued Apple they'd be suing over the exact same damages? Either customers have their prices artificially increased, at which point app develop
378.
by eridius 7y ago
6 years is awfully short for this sort of thing. What we absolutely need to avoid is having justices have to care about reelection, which means we need to say justices can only ever serve one term, which means we need longer terms.
379.
by eridius 7y ago
I've never done Windows programming but AFAICT you don't use `int main()` on Win32 anyway, you write something like int WINAPI WinMain(HINSTANCE hInst, HINSTANCE hPrevInst, LPSTR, int) (where WINAPI is just a macro for __st
380.
by eridius 7y ago
This is irrelevant; this is the function definition, which means the compiler knows this function takes zero arguments. It works because with the way the C ABI works on all platforms I'm aware of, extra arguments passed to the function
381.
by eridius 7y ago
In the comment you're referring to, "and declines to point out that her grand jury ended years ago", the "her" was absolutely correct because it was referring to her grand jury , not to the new one for Assange. The
382.
by eridius 7y ago
That's why you pair the immutable integer with a mutable slug. Nobody memorizes slugs so you don't have to worry about supporting the case of a user manually typing in the URL from memory (which is about the only time when having
383.
by eridius 7y ago
Doing exactly what Uber wants isn't how you kill them. They're subsidizing the rides right now, but if everybody followed your uncle's advice, Uber would very quickly "win" the rideshare wars, establish their long-s
384.
by eridius 7y ago
Why the scare quotes though?
385.
by eridius 7y ago
HEAD and the branch have separate reflogs. Each step of an interactive rebase adds a separate entry to HEAD's reflog, but the branch's reflog only ever gets a single new entry when the rebase is complete. So you can run e.g. `git
386.
by eridius 7y ago
But that's no good because it means the slug may end up having no relation at all to the actual content of the page (after the page has been edited). The only thing worse than no slug is a bad slug. Don't bake bad slugs into your
387.
by eridius 7y ago
Link prefetch/preload puts the loading under the control of the browser. The user can't see whether it loads or not, so the browser can make intelligent decisions about when to load it or whether to even load it at all. Portals ar
388.
by eridius 7y ago
> Her release on Thursday comes after the period during which she could be held for failing to give evidence expired. > "Today marked the expiration of the term of the grand jury, and so, after 62 days of confinement, Chelsea
389.
by eridius 7y ago
Adding a new phone does not remove the old one from your account. Something else happened there.
390.
by eridius 7y ago
This looks pretty neat, but the random-looking spacing between works is pretty weird. If you want to preserve the approximate text layout with respect to the diagrams, why not at least use a fixed-width font? The Q&A complains that it m

More ›