Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Darmani
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
17 ms
·
151.
▲
by
Darmani
8y ago
So, if I understand the system correctly: In the top 10, I see projects in Hardware, AI, Psychology, and Economics. So, the psychology guy goes up the leaderboard by producing results that will impress the people in the other fields. The s
152.
▲
by
Darmani
8y ago
I tend to be leery of any claims like this. It would be nice to be able to pump infinite knowledge into students in one course, but that's not realistic. The implicit claim behind such a statement is: X should be a topic covered in all
153.
▲
by
Darmani
8y ago
I think the main lesson here is something other than what Joel intended. He meant it as a defense of why IE had been breaking standards. I see it as a lucid explanation of the constraints that protocols place on software, and a reminder tha
154.
▲
Martian Headsets (2008)
(joelonsoftware.com)
1 points
by
Darmani
8y ago
|
0 comments
155.
▲
Mutability's secret impact
(pathsensitive.com)
1 points
by
Darmani
8y ago
|
0 comments
156.
▲
by
Darmani
8y ago
What's a kernel-style transformation? That term is unfamiliar to me? Are you referring to e.g.: optimizing stencil kernels? You're correct that classical semantics-preserving compiler optimizations are very restricted, when not us
157.
▲
by
Darmani
8y ago
> The main problem with that idea is that you have to find some language to describe the design, which often ends up being an implementation, and when you look at the invariants that must be maintained for correctness, it's difficul
158.
▲
by
Darmani
8y ago
This was a hot-topic 10-15 years ago. Then, over a few years, we went from "there has been little work applying computer algebra methods to program analysis and optimization" to "everything under the sun has already been done
159.
▲
by
Darmani
8y ago
Wow. Must be quite a shock for you. Do you know anything about the interactions between Cyberlore and NWC for The Price of Loyalty? I'm generally curious, as I lead a large modding project for that game. (I've gotten a couple case
160.
▲
by
Darmani
8y ago
> just to point out that his notation just begs the question of what do(X) means, It's very formally specified. The key object of study in Pearl-style causal inference is a structural causal model. A structural causal model is compo
161.
▲
by
Darmani
8y ago
> A non-causal ML approach would seek to determine whether a patient has a disease based on some symptoms, and then send them to a doctor based on those results, sidestepping the need for causal models. I saw an ML presentation a few mo
162.
▲
by
Darmani
8y ago
For those trying to understand the difference between action and observation, here's a good example from a friend: Every bug you fix in your code increases your chances of shipping on time, but provides evidence that you won't.
163.
▲
by
Darmani
8y ago
First, RL and causal inference do fundamentally different things. RL is trying to train a controller; causal inference gives you a theory so that you can predict the results of a randomized controlled experiment without running one. Second,
164.
▲
by
Darmani
8y ago
You can write P(cold outside | do(turned on heat=X)), where X is another random variable. So P(cold outside | do(turned in heat=X=1)) will be equal to P(cold outside | do(turned on heat=1))P(X=1 | cold outside) = P(cold outside)P(X=1 | cold
165.
▲
by
Darmani
8y ago
It's quite easy to make anyone look bad by questioning. "Sir, do you know how fast you were driving. Were you aware that the speed limit is 55 mph? Do you know that hundreds of children die every year from drivers like yourself wh
166.
▲
by
Darmani
9y ago
Woah, please share. I'm really interested in seeing your research.
167.
▲
by
Darmani
9y ago
I'm interpreting the question to mean: if you are selling an enterprise product into a competitive industry, how do you do word-of-mouth advertising? The answer is, to a first approximation: you don't. "Viral marketing"
168.
▲
by
Darmani
9y ago
Apology accepted. I do see why my posts would provoke a reaction in someone who confuses "Chinese universities" with "Chinese people." If that's not you, then I'm mystified.
169.
▲
by
Darmani
9y ago
Sean worked at Microsoft China; I don't think he's worried about Chinese output. There was never any question that lots of people from mainland China do great research (otherwise my department is in trouble). The question is abo
170.
▲
by
Darmani
9y ago
We asked about papers from universities in mainland China. You posted 7 papers. One of them had a second author from Shanghai Jiao Tong, and another had a second author from Tsinghua. The rest were from industry, MSR, and western universiti
171.
▲
by
Darmani
9y ago
Interesting. So, I understand that the grad students are not interested in the research. Are they writing papers on these "projects?" What good is a Chinese Ph. D. then? Some European (Belgian?) students told me that, in their cou
172.
▲
by
Darmani
9y ago
Body shop? Explain. How exactly is the system messed up.
173.
▲
by
Darmani
9y ago
Hi Sean! We met a few weeks ago at OOPSLA. The paper I have in mind is Zhai et al's "Automatic Model Generation from Documentation for Java API Functions" presented at ICSE last year, from Nanjing University. It is arguably m
174.
▲
by
Darmani
9y ago
With all this talk of publication output, I'd like to see some examples of good research coming out of mainland Chinese universities. In my field (programming languages), I can name one total paper that I liked that came from a mainlan
175.
▲
by
Darmani
9y ago
Both energy drinks and milk absorb better than water. Doesn't seem odd that coconut water is in the and category.
176.
▲
by
Darmani
9y ago
Well, all I can say is: We have some very junior programmers on the team, who are managing pretty well. (Hmmm, it would totally be cool to "visit" VCMI and see how you guys run things.)
177.
▲
by
Darmani
9y ago
Yep, it's definitely true that the programmers on the Ironfist team have all gotten used to browsing through the decompiled listing of the original game's code, and the ones who have been on the project longer have all learned som
178.
▲
by
Darmani
9y ago
Got it, except.....doing something like VCMI in some ways requires more reverse engineering. I'm confused. Maybe explain your reasoning in more detail?
179.
▲
by
Darmani
9y ago
Totally. Although, I think you underestimate just what you can do with modding; some of the things you mentioned sound like they would be about as easy to do in Ironfist as in a rewrite. Here's one way to put it: the amount of programm
180.
▲
by
Darmani
9y ago
Exactly as you said. It's a lot easier to make something better than the original game when you start with the original game, instead of trying to get a million subtle things right. Also, developing on fheroes2 is not necessarily easie
More ›