ychen306

8 ms·

31.
by ychen306 8y ago
I really dislike posts like this one. For technical stuff like this people should start out with definition so everyone know what the author means by, for example, "perfect hashing". > By implication, the hash must be at least
32.
by ychen306 8y ago
You are not wrong. For some "highly dynamic" applications, say, optimizing compiler IR where there are many different subclasses of IR nodes, dynamic dispatch is nice. But when you are running an ML model, scientific application w
33.
by ychen306 8y ago
Which you don't need most of the time in production because you can statically determine which operation needs to happen without the overhead of dynamically choosing the operation.
34.
by ychen306 8y ago
The problem comes down to how you use your model, which is all that matters. If there is a mismatch between the language in which your model is embedded in and the language in which your main application/interface is written in, then i
35.
by ychen306 8y ago
I will say this in the risk of talking out of my ass as I have no experience in either language :). Having a statically typed language greatly simplifies the tooling because static analysis is much easier; graph program extraction involves
36.
by ychen306 8y ago
unfortunately yes
37.
by ychen306 8y ago
LLVM IR is not portable. LLVM's infrastructure allows you to write portable code generator, but the IR is definitely not portable.
38.
by ychen306 8y ago
I don't even know or use Julia and find this confusing. - I don't think Python added anything to PL theory or methodology either. At least Julia introduced multiple dispatch to a new audience. - How is the name sexist or creepy?
39.
by ychen306 8y ago
Eliminating undefined behavior from the language is a language design issue orthogonal to the problem CompCert is trying to solve.
40.
by ychen306 8y ago
I wouldn't label the dot-com bubble as a CS bubble.
41.
by ychen306 8y ago
Kind of disappointed that they don't include this kind of analysis as baseline. Especially that the types infer by traditional algorithms are usually sound, which is not what you can say for ML-based methods (so far).
42.
by ychen306 8y ago
No to both. Note that these two problems are related because TSP is NP-hard to approximate. > In this study, we show that the time taken by plasmodium to find a reasonably high-quality TSP solution grows linearly as the problem size incr
43.
by ychen306 8y ago
> but it'd also let the Big Brother know who was inappropriately curious. This changed my opinion. I thought the controversy was unwarranted; after all it's what many people in China wants. It's good that Google doesn&#x27
44.
by ychen306 8y ago
> Large coal plants are more efficient than internal combustion Wish more people know about this.
45.
by ychen306 8y ago
Generally speaking a chunk of memory you free is simply marked "free" for reuse but not given back to the OS. So in this regard, it is not a burden to the OS.
46.
by ychen306 8y ago
Assuming I understand their approach correctly, they are using little (one could argue none at all) semantic information.
47.
by ychen306 8y ago
They know that (whether they are fine with it is another matter). Google was in China from 2006 to 2010, and pulled out partly due to censorship (among other reasons).
48.
by ychen306 8y ago
It's usually a good idea to turn loop bound into a variable when benchmarking a compiler, lest it optimizes the whole thing away like in this case.
49.
by ychen306 8y ago
It does not convert high-level procedural code to FPGA gates. It's na DSL, and in fact you still have to think like a hardware designer/computer architect.
50.
by ychen306 8y ago
At this rate of return, they could make college free, and still get a faster return of investment.
51.
by ychen306 8y ago
The article is fairly well-sourced. I am not saying this makes it unbiased; but if you are not-satisfied with the conclusion, you can verify the quotes and make up your own.
52.
by ychen306 8y ago
There people might as well be in an economic cult.
53.
by ychen306 8y ago
It takes a special kind of something to think that there's no correlation between intelligence and having a PhD.
54.
John E. Hopcroft: “An Introduction to AI and Deep Learning”(youtube.com)
2 points by ychen306 8y ago|0 comments
55.
by ychen306 8y ago
It's more inliner-friendly this way though.
56.
by ychen306 8y ago
That would not be a good idea. The amount of analysis effort to analyze something in memory is significantly higher than keeping things in (virtual) registers.
57.
by ychen306 8y ago
Running a trade deficit doesn't inherently mean you are losing utility from the trade. Your trade deficit with Walmart (or Costco, or whatever) is negative but both of you gained from the trade. China cheats, and there is no doubt in t
58.
by ychen306 8y ago
We need new languages; at the very least new ways to approach to optimization. We are at the point where even C doesn't give you the performance you want -- that's why people invented things like Halide, XLA (Tensorflow), etc.
59.
by ychen306 8y ago
It's about the control you can have. You can gradually add in annotations without having to rewrite the whole program as well as being able to selectively check buffer-overflows (i.e. checking everything vs checking code regions that y
60.
by ychen306 8y ago
Seems like performance will suffer without tiling.

More ›