Viewing profile — cygaril

Formalizations for the competition were done by hand.

Proofs are here: https://storage.googleapis.com/deepmind-media/DeepMind.com/B...

Come up with many possible answers, formalize them all, and then try to prove or disprove each of them.

One possible cost measure is thr number of evaluations of the probability function.

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, …

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.…

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 - eac…

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…

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.

Or our entire evolutionary history of data.

https://maskofreason.files.wordpress.com/2011/02/the-library...

I think you were right the first time.

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.

The proposed approach amounts to subsidizing human labour over automation. That night be a legitimate public policy aim.

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 w…

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 are…

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…

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 sp…

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 gl…

Building regulations for student accommodation are less stringent than for regular housing, so possibly these designs wouldn't be allowed otherwise.

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, …

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 seem…

Online game clients which attempt to verify that a human is playing rather than a bot.

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…

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 h…