slededit

48 ms·

451.
by slededit 8y ago
Full top down proofs are rare but it’s more common at the module level.
452.
by slededit 8y ago
Spoken like a programmer that has never had to fix TLB misses as a bottleneck. It’s actually quite common as the TLB is rather small. Not even enough for 2MB worth of 4K pages. You can use huge pages but it has all of the drawbacks of segme
453.
by slededit 8y ago
Were you around back then? It’s realy hard to describe how much MS was hated. There’s nowhere near that animosity towards Google today.
454.
by slededit 8y ago
If it were common I’m sure I would have seen it though... it’s not like most of us weren’t in uni for at least 4 years.
455.
by slededit 8y ago
While it may be “cumbersome” from the programmers perspective - it’s certainly a lot faster than an MMU. There’s no universe where traversing a page table (actually a tree) in memory is faster than an offset and a bounds check.
456.
by slededit 8y ago
Stay in one place long enough to see a few cycles and you’ll get nice and jaded. Today’s old and shitty was yesterday’s “proper way”. It can change in only a year or two. “Global” refractors always end unfinished and the code worse for the
457.
by slededit 8y ago
Formal methods have seen adoption in hardware where the cost of bugs is much higher. The fact is it’s cheaper to patch buggy software than it is to apply formal methods. Quality has remained above a level that would impede progress, and bas
458.
by slededit 8y ago
Intel doesn’t have an architecture problem. They have a manufacturing one. As good as Jim Keller may be it’s just not his domain.
459.
by slededit 8y ago
Rail freight in the US is the highest in the world. Europe focuses on passenger rail which is where the misconception comes from. However the vast majority of the freight is travelling cross country from west to east. Last mile rail is in
460.
by slededit 8y ago
The note at the end is somewhat important. If you are deciding where to incorporate your startup and you are not a US citizen, ITAR is a good reason to avoid the USA. YC generally suggests US incorporation but it has real downsides, and
461.
by slededit 8y ago
You may have caches or other optional buffers you can free. Or you may choose to save or do some other action to save user data. It doesn't solve the fact you don't have memory, but it does let you at least do something about it
462.
by slededit 8y ago
I would say modern C++ encourages unique_ptrs and naked pointers for ephemeral references much more than shared_ptr. C++11 invented it after all while shared_ptr has been around longer. Some projects have gone as far as to say shared_ptr i
463.
by slededit 8y ago
To be fair registration costs went up massively even on non-teslas.
464.
by slededit 8y ago
It’s your 3 minutes of hate. Your not supposed to emphasize with them.
465.
by slededit 8y ago
Just skip entering a key. It won’t bother you. Before that it was the free upgrade from win7/8 which was unprecedented. They really want you to be on win 10 to push their store.
466.
by slededit 8y ago
Nah, almost nobody buys software these days. Even the bastion of capitalism that is Windows is now free.
467.
by slededit 8y ago
1) Don’t promise memory you don’t have. On windows VirtualAlloc will fail if it doesn’t have enough page file space to satisfy the request. This allows the application to do something smarter than with the false promise it gets from mmap. 2
468.
by slededit 8y ago
The traditional short has to close their position at some point is well. It’s never an unlimited duration.
469.
by slededit 8y ago
No, you misunderstand the whole point. Credentials don't matter in an anonymous setting. That's the whole point, people can converse on equal terms. The only "credentials" in common display is whether or not your acco
470.
by slededit 8y ago
I think the issue is everyone is saying they want the best - when it’s clear they either don’t or can’t afford it.
471.
by slededit 8y ago
Just like when you'd call in dispatch they might come or they might not. Who knows.
472.
by slededit 8y ago
He doesn’t have control of the justice department. It’s also uncertain the military would violate the constitutional ban on law enforcement at his order. To get closer to autocracy he’d need better control of one of those two branches.
473.
by slededit 8y ago
I’m no academic but I’ve read a few papers specifically because I wanted to implement what they talk about. None have been useful for this purpose. I don’t know how you can possibly replicate them if there is insufficient detail on the “app
474.
by slededit 8y ago
Straight from the enforcement body: “The law recognizes that everyone has the right to self-identify their gender and that “misgendering” is a form of discrimination.” “Refusing to refer to a trans person by their chosen name and a personal
475.
by slededit 8y ago
Comments should stand on their own. Nobody learns anything with a “because I said so - just trust me” comment.
476.
by slededit 8y ago
Where he is from (Ontario, Canada) it is in fact illegal not to use correct gender pronouns. Legal council of his own University confirmed it.
477.
by slededit 8y ago
Then they can’t afford google talent. Short of pay they’d have to offer some other compelling narrative (e.g. HBO’s SV “changing the world through algorithms”). In essence it’s a trick to give up their economic advantage.
478.
by slededit 8y ago
In a pseudo-anonymous forum you must provide facts - not rely on credentials. The answer to your “Do you not realize who I am” post is No, we have no idea.
479.
by slededit 8y ago
Microsoft does it all the time. They risked their entire Office franchise during the mobile transition to try and push win mobile. Most companies try to leverage their market position in this way. To not do it would be unusual.
480.
by slededit 8y ago
I’m actually interested in proof it is a myth - but this article is not it. It’s an ad for Senator Warrens re-election campaign

More ›