dchftcs

5 ms·

31.
by dchftcs 5mo ago
Someone has to be in the news first, and then you learn about it. To that someone, the change you see in tomorrow's legal news is today, was yesterday. It's more a gamble than you think, you just don't feel it until it bites
32.
by dchftcs 5mo ago
fireworks hosts Qwen 3.6 Plus, they might also get Qwen 3.7 Plus.
33.
by dchftcs 5mo ago
I'd love to go back to the 90s and live it again.
34.
by dchftcs 5mo ago
Right, indeed you need to first preserve the origin, but also that is trivially true for a linear map like JL.
35.
by dchftcs 5mo ago
If you preserve the l2 distance you preserve the inner product, that's somewhat tautological in an L2 space. Just that the degree you can preserve inner products can be misleading, main problem is that orthogonal vectors may only becom
36.
by dchftcs 5mo ago
The division of lemmas and theorems is really a bit artificial for these things. But yeah I think the spirit is that a theorem is an object that you aim to study, while a lemma is something you use to do that. Fermat's last theorem was
37.
by dchftcs 5mo ago
Not even their lawyers believe that for a second. If they did, they wouldn't have had to ask you to reaccept.
38.
by dchftcs 5mo ago
This is an embarrassing take. You put money in the bank to save the trouble of keeping it under your mattress, now you go to a branch and they say you need to sign a new contract before you can take back your money. Fair?
39.
by dchftcs 5mo ago
Not a lawyer but it can potentially be argued that the T&C were signed under duress and therefore void.
40.
by dchftcs 5mo ago
It's the same speculative decoding. The news is that it came out for a popular local model.
41.
by dchftcs 5mo ago
A major problem with player-coach is that it makes the manager compete with the IC. If we solve that it'd be more workable, if not it'd erode teams from the inside.
42.
by dchftcs 5mo ago
A bad guess still costs cycles, but the penalty is smaller compared to branch mispredict in the current state. But if we have some kind of pipelining, like if we have something that assumed the speculative decode is correct, then it'll
43.
by dchftcs 5mo ago
The two cofounders will not be able to work for Meta. Probably it will be complicated to distribute Manus in Hong Kong, possibly Singapore too. But Manus's IP was already transferred and in any case Meta is not legally doing business i
44.
by dchftcs 5mo ago
I don't dispute that verification can be a good tool, but many teams exhaust their time budget at the point of figuring out what to verify, making it less necessary to verify certain things (sandboxing, airgapping, lawyering), writing
45.
by dchftcs 6mo ago
A missing specification in the proof of lean-zip, a lean component, is a real problem to the philosophy and practice of software verification. To illustrate, let's say you want to verify a "Hello world" program. You'd th
46.
by dchftcs 6mo ago
This is analogous to the fundamental problem of better automation in programming - eventually, the complexity and correctness of of the spec takes over, and if we don't manage that well, creating the spec is not that much less work tha
47.
by dchftcs 6mo ago
I think it's mainly in relation to the constraints of the game engine, and also that the game engine being flexible enough to enable the gimmicks. I haven't played DDLC and probably never will, but from what I've read about i
48.
by dchftcs 6mo ago
Your pack falls behind, and has nothing to eat during food supply shocks like the one that's almost certainly coming.
49.
by dchftcs 7mo ago
It may be surprising to you, but I don't drive (I don't live in the US, but even when I did I didn't really have to), and there was a period of time I resorted to not even taking taxis because a crash in those times would hav
50.
by dchftcs 7mo ago
I don't think denying a ride to a stranger in a sketchy situation counts as being nasty. If it's not false accusations, it could be a knife at your throat or whatever (your example about male rape definitely doesn't help your
51.
by dchftcs 7mo ago
This. First, the employer has to worry about the returns from which they draw some money to pay you. And for you to even get paid for doing a job, the company has to fear that you won't do it if you don't get paid - in most cases,
52.
by dchftcs 7mo ago
They don't, and as a result most don't get much if any. For them to survive, they have to have got returns from somewhere - maybe welfare, inheritance, a day job. Someone has to have worried about the returns so they can be free f
53.
by dchftcs 7mo ago
>one almost verbatim same radius which pissed off apple So this is what they decided to do? Use so many different rounded radius variations that competitors don't know which one to copy?
54.
by dchftcs 7mo ago
5x improvement of energy efficiency in just GPUs translates to more like 50% reduction of power usage, with is significant but doesn't warrant a 80% reduction in pricing. Especially since Nvidia will charge more for the same card - the
55.
by dchftcs 7mo ago
The impact of false accusations don't start just with prosecution. People lose jobs and friends with it before that stage. I've personally seen people fired for a mere police investigation into something much milder that was event
56.
by dchftcs 7mo ago
You need to develop some empathy and learn that false accusations can destroy lives and families. You have no right to force someone accept even a 1% chance that something like that happens, even if it's less prevalent than assaults.
57.
by dchftcs 8mo ago
you still can think hard but you can offload some parts to LLM when you're stuck. Then you can leave space for more hard-won inspiration. When you're faced with a high-stakes decision, evaluating all sorts of possibilities, it&#x2
58.
by dchftcs 8mo ago
I think what you say would have be fair if Elon's and his fanboys' stance was "we need more data" rather than "we will be able to scale self-driving cars very quickly, very soon".
59.
by dchftcs 9mo ago
There's a somewhat niche game publisher that had very gamer-friendly practices. At some point they released older games for free, and for new popular ones they were relatively friendly to mods. Now they only operate a lootbox game. The
60.
by dchftcs 9mo ago
> I have to learn their processes/tools/etc from reading the docs. > So I'm probably coming in at like 20% better than junior. There are firms that take that to heart, and there is indeed a lot of truth in it. A large a

More ›