readams

48 ms·

511.
by readams 9y ago
It actually is related to the halting problem. Rice's theorem is the directly relevant result though. Formal verification of more constrained systems is possible though.
512.
by readams 9y ago
except with BASIC you turned on the computer and literally the first thing you saw was a prompt where you could type your program. The whole point of this article is that downloading and installing python to the point where you can contemp
513.
by readams 9y ago
Maybe what they've proven is that technical interviews are not adding much information to the hiring process. This pretty much matches with my experience that quality of interview is at best only very loosely correlated with actual ab
514.
by readams 9y ago
Brazil came out in 1985 and basically involves identical bureaucratic obstacles. Catch 22 was published in 1961 and also describes similar unthinking callous bureaucracy. It's not Silicon Valley you're railing against: it's
515.
by readams 9y ago
Red and green are particularly easy to distinguish for people with normal vision because the sensitivity spectra overlap so much. So when you don't consider colorblind people it's a very natural choice.
516.
by readams 9y ago
On (2) note that checking in vendored code is not necessary for reproducible builds, as you will get the exact revision that's in your lock file for glide or dep. You will, however, massively bloat your git repo.
517.
by readams 9y ago
I read this whole article and I'm still not sure if this is a real thing or a parody.
518.
by readams 9y ago
Run ublock on FF android and it'll more than make up for the slower browser by avoiding downloading all the ads. When the quantum enhancements land Chrome will be way behind.
519.
by readams 9y ago
Yes the fries are not very good because they only fry them once. Same with five guys. They're a bit better if you ask for them well done though.
520.
by readams 9y ago
detecting porn, presumably.
521.
by readams 9y ago
Realistically LibreOffice is not really relevant competition for Microsoft. Google Docs is much more important, even though the capabilities are so widely disparate.
522.
by readams 9y ago
They really haven't. AMD was so far behind Intel they were in danger of going extinct in data centers. Only very recently have they caught up again to be a credible competitor. This bug and Intel's response is very good timing f
523.
by readams 9y ago
As a society we need to have a much more sober response to this sort of allegation. Immediate career-ending consequences based on a mere accusation are ultimately bad for both accuser and accused, because it raises the cost of making an ac
524.
by readams 9y ago
You just launch a bunch of small payloads at the same time. As long as you have enough customers then the cost per payload could indeed be lower.
525.
by readams 9y ago
Brewers "CAP Twelve Years Later" paper was to me very unsatisfying since it basically advocated that systems should be CA but then have a special mode where you can recover from partitions. The problem is that having code that ca
526.
by readams 9y ago
the merchant is paying 3-5% plus transaction fees for each transaction. It's hidden from you, but you're paying for it.
527.
by readams 9y ago
Looks interesting but I think WebAssembly remains the more promising path for compiling to web browsers at this point. x to JS transpilers are likely on the way out.
528.
by readams 9y ago
they both use a tree search, though it's a different tree search algorithm.
529.
by readams 9y ago
you can do this but the bank will know and the police will show up.
530.
by readams 9y ago
Flawless with Firefox + uBlock Origin. I find that I am usually immune to whatever complaint that people have about unloadable articles on Hacker News.
531.
by readams 9y ago
Normally you'd want to throw the remains into a volcano but I guess if you feel safe just throwing it away then you do you.
532.
by readams 9y ago
Ublock was enough to make slower Firefox on Android worth using because it makes sites so much faster. Once the quantum features start arriving on mobile its going to be impossible for chrome to match.
533.
by readams 9y ago
Newer versions have a prune option. Older ones there are shell alias recipes you can find on the web
534.
by readams 9y ago
I think the biggest reason this reputation exists is that the industry has grown so quickly and the industry itself is still so young relatively. This naturally causes the median age to skew younger, as there just hasn't been enough t
535.
by readams 9y ago
The terribleness and unnaturalness is precisely the problem they are trying to solve with this solution. The results look very impressive compared to previous solutions.
536.
by readams 9y ago
Early exercise only works with non-qualified options. They work by granting non-qualified options that you exercise immediately, but then have a claw-back provision that mirrors the vesting schedule of qualified options. Nothing here prev
537.
by readams 9y ago
They said the outcomes are comparable.
538.
by readams 9y ago
This is the law in the us right now
539.
by readams 9y ago
I have a suspicion that if this were a widespread practice the effect would disappear.
540.
by readams 9y ago
Because of government loan guarantees, the cost of tuition will eventually rise to match the entire net present value of the expected lifetime earnings premium. This could easily be in the millions. Also, we can expect income-based repayme

More ›