petters

59 ms·

691.
by petters 9y ago
I once attended a lecture by Stork that very convincingly disproved this thesis. But Hockey was not there to defend it. At least it allowed a lot of non trivial math (computer vision).
692.
by petters 9y ago
I think statistics is hard. In my country, it is taught to freshmen and it uses the Central Limit Theorem all the time. That theorem is deep and hard to prove so student are forced to take it at face value. Other math courses do not work li
693.
by petters 9y ago
Because Google owns the source code per the employee contact.
694.
by petters 9y ago
Completely agree. Even if it would be really bad for the ecosystem (it would likely have little impact), the benefits are so very vast out would be worth it. This is an example of score insensitivity. How many humans die each year of malari
695.
by petters 9y ago
It is certainly a separate problem. Just as the original comment says: I don't think anyone seriously argues that quantum computers will violate the CT thesis. (Except Penrose, perhaps.)
696.
by petters 9y ago
No, just that some problems are believed to require superpolynomial slowdown.
697.
by petters 9y ago
Several posters mention Jupyter, but there also literate programming by Knuth from 1984.
698.
by petters 9y ago
What's wrong with the expression (a+b)/a = a/b = φ Does the author not like that a new symbol is introduced like that?
699.
by petters 9y ago
> you're just moving the problem to the correctness of the compiler But it would be a huge leap forward.
700.
by petters 9y ago
Doesn't this prevent a lot of inlining? Or perhaps the compiler is smart enough in most cases?
701.
by petters 9y ago
This is really true. I was a complete Java newbie and knew some Python when I joined Google. Yet I found working in an unfamiliar Java code base much, much easier here. Large Python code bases are really hard to understand and work in (here
702.
by petters 9y ago
Well, the code being measured does one pass through the array. Sorting can in general not be done in linear time, so asymptotically you won't gain anything by sorting first. Edit: Whoops, I misunderstood. Sorry!
703.
by petters 9y ago
C++ has something similar.
704.
by petters 9y ago
Don't you see the difference? The value of the dollar at least partly comes from a government that has forced a demand.
705.
by petters 9y ago
> you can't chart a centile, Why? If you have servers with millions of qps, the graph would show the 99% latency over, say, a second or ten. I think this graph is pretty standard? But I'm happy for suggestions of better ones.
706.
by petters 9y ago
> Well, poorly Agreed. I shouldn't have included that line.
707.
by petters 9y ago
What is the compilation speed? Tex and its derivatives are really slow. (Whereas e.g. Web browsers typeset documents in milliseconds)
708.
by petters 9y ago
Does microtype work equally well on Lualatex and Pdflatex these days? That stopped me from switching years ago.
709.
by petters 9y ago
That is true, but I got the impression from the article that they had a wider range of problems in mind.
710.
by petters 9y ago
Many nonconvex problems are solved with more sophisticated methods, like L-BFGS. Are perturbations still a good thing?
711.
by petters 9y ago
That theorem, being about when every user provides a complete ranking, does not apply in this case.
712.
by petters 9y ago
> this study from 7 years ago is being dug up That is not fair. You're making it sound like it's a JS framework. Seven years is nothing in this case.
713.
by petters 9y ago
The takeaway here is that the majority of useful data is implicit -- very different from the Netflix challenge ten years ago.
714.
by petters 9y ago
On one hand, I sort of agree with you. On the other hand, what you are saying feels a little bit like saying that humans aren't impressive, because we are just atoms. Sometimes interesting things arise from many small, simple parts.
715.
by petters 9y ago
> Nope. Scandinavia I don't agree with that, at least not in Sweden. Sweden had one of the flattest wage distributions in the world. Developers make very little here when you compare to other countries and other professions. In Stoc
716.
by petters 9y ago
Each character needs to be individually placed for the best possible typesetting (e.g with microtype). Nevertheless, copying text from a PDF works in many cases, so there has to be some support for that, no? Or is everything done in the rea
717.
by petters 9y ago
Now let's hope that we can start using these methods more in science instead of e.g. p-values.
718.
by petters 9y ago
Imagine trying to find that bug. Finally, after an enormous effort being able to tell your manager that the error is in the space-time of the universe.
719.
by petters 9y ago
Bright Man should be Flash Man, right?
720.
by petters 9y ago
> Proving P=NP doesn't magically create the algorithm, it just proves that there is one. This is 100% true for all practical purposes. But there is an explicit algorithm for NP-complete problems that runs in polynomial time iff P=NP

More ›