cygaril

6 ms·

1.
by cygaril 2y ago
Formalizations for the competition were done by hand.
2.
by cygaril 2y ago
Proofs are here: https://storage.googleapis.com/deepmind-media/DeepMind.com/B...
3.
by cygaril 2y ago
Come up with many possible answers, formalize them all, and then try to prove or disprove each of them.
4.
by cygaril 4y ago
One possible cost measure is thr number of evaluations of the probability function.
5.
by cygaril 4y ago
I've done that many times and never used exact equality comparisons. If you do exact comparisons for any non-trivial cases, you'll find different compilers, optimization settings, runtimes, and processors give different results.
6.
by cygaril 4y ago
Only if each value is equally likely. If you see $1,000 but figure the envelope-filler is a lot more likely to have been willing to put $1,500 in than $3,000 then you should stick.
7.
by cygaril 4y ago
You're assuming here that there are discrete stages that do different things. I think a better way to conceptualise these deepnets is that they're doing exactly what you want - each layer is "correcting" the mistakes of
8.
by cygaril 5y ago
Standard RL algorithms will converge to optimal play versus a fixed opponent, but will not find an optimal policy via self play. One intuitive way to see this is that a sequence of improving pure policies A < B < C < etc. will conv
9.
by cygaril 6y ago
Seems to have missed the existence of jax.jit, which basically constructs an XLA program (call it a graph if you like) from your Python function which can then be optimized.
10.
by cygaril 7y ago
Or our entire evolutionary history of data.
11.
by cygaril 7y ago
https://maskofreason.files.wordpress.com/2011/02/the-library...
12.
by cygaril 7y ago
I think you were right the first time.
13.
by cygaril 7y ago
Because you might think that people having employment is a good thing, worth encouraging through the tax / benefit system. Also, tax credits can be (and are) paid weekly.
14.
by cygaril 7y ago
The proposed approach amounts to subsidizing human labour over automation. That night be a legitimate public policy aim.
15.
by cygaril 7y ago
I agree that rejection is always tough. I spent a year manoeuvring to be made redundant from a job I wanted to leave (e.g. told my boss I wanted to go, made sure everything I did was covered by other people). And still, when they did finall
16.
by cygaril 7y ago
You don't necessarily need the distribution under the alternative to determine the values for which the likelihood ratio will be highest. In your example, the tails will be the areas of maximum likelihood for any (symmetric) alternati
17.
by cygaril 7y ago
A more general method is to use the likelihood ratio, ie the ratio of the likelihood of an outcome under the alternative hypothesis to its likelihood under the null hypothesis. And then pick the outcomes which for which this ratio is highes
18.
by cygaril 7y ago
From The Guardian: Student housing doesn’t officially classify as housing. It falls into the murky category of “sui generis” (Latin for “of its own kind”). As it falls outside a specific use class, it doesn’t have to adhere to the usual sta
19.
by cygaril 7y ago
Being only five hundred lines doesn't disqualify it from being a library. But being impossible to safely integrate into other projects because of illegal names and polluting the global namespace does. This is at best a rough proof of c
20.
by cygaril 7y ago
Building regulations for student accommodation are less stringent than for regular housing, so possibly these designs wouldn't be allowed otherwise.
21.
by cygaril 7y ago
Yes, me too - I had two weeks of constant headaches and both physical and mental exhaustion. I still went to work, but I got basically nothing done for the whole fortnight. Still, I'm glad I did it - it was definitely an unhealthy addi
22.
by cygaril 7y ago
Two players having the same hand is no issue - just split the pot. This already happens when neither player can improve on the five community cards. Adding five of a kind also seems like a pretty easy adjustment. The most obvious difference
23.
by cygaril 7y ago
Online game clients which attempt to verify that a human is playing rather than a bot.
24.
by cygaril 7y ago
Branded medicines are more effective and result in fewer reported side effects, despite being pharmacologically identical. Many citations available, eg https://www.ncbi.nlm.nih.gov/m/pubmed/23115341/?i=2&f
25.
by cygaril 7y ago
There are lots of other examples, depending on what you consider to be autonomous robotics - grass mowers, delivery drones, autonomous trains, elevators, vending machines. Do you have an application in mind which is easier than autonomous c
26.
by cygaril 7y ago
A bank needs to be able to recheck every client's status any time the rules change (which happens on a weekly basis). If they don't hold adequate information about their clients, that would mean suspending their accounts until a n
27.
by cygaril 7y ago
Getting involved is risky - even if you are right (and I think you are), the price could still increase by a large amount for a long time before sense reasserts itself. As Keynes apparently did not say: "The market can stay irrational
28.
by cygaril 7y ago
Assuming the definition of ~ is meant to be the same on Q and W (I think there's a typo), then it's no longer transitive and therefore no longer an equivalence relation: (0, 0) ~ (1, 2) and (0, 0) ~ (2, 3) but not (1, 2) ~ (2, 3).
29.
by cygaril 7y ago
Including the effect of the choices people make is much more informative for deciding on public policy or personal food shopping choices. Imposing calorie restrictions in the experiment that wouldn't be there in real life would make th
30.
by cygaril 7y ago
https://en.m.wikipedia.org/wiki/Noddy_(character)

More ›