snrji

10 ms·

31.
by snrji 8y ago
Noob question: don't dependent typing requires the language to be dynamic? How do you check dependencies in types otherwise (eg. the size of an array)?
32.
by snrji 8y ago
Couldn't disagree more. As you said, people do deserve protection, but who do you think that you are protecting when you protect languages? Exactly, when you protect a language you are protecting people who speak it. If you want to get
33.
by snrji 8y ago
It's time for massive M&As.
34.
by snrji 8y ago
I see, thanks for your comment.
35.
by snrji 8y ago
I see, but you could still wrap all other cases in some predefined functions or higher level primitives, and just have an "unsafe" mode for unrestricted recursion. It could even be treated as a side effect.
36.
by snrji 8y ago
This reminds of an old idea of a friend of mine, who said that pure, unrestricted recursion (this applies to iteration as well) is like goto: a primitive too powerful and not abstract enough that should not be directly exposed to the progra
37.
by snrji 8y ago
They are considered hate groups because they admittedly hate women. Their diagnosis could be right, though.
38.
by snrji 8y ago
It's very simple: do NOT legislate. Stop regulating every single detail. Instead, focus on making sure that the fundamental principles (fundamental rights, trade...) are respected. Those principles will probably be the same in 30 years
39.
by snrji 8y ago
I have never had issues with neither HP, ASUS or Dell.
40.
by snrji 8y ago
Google will obviously discard this new project once it will be starting to be working. Then it will start from the scratch again.
41.
by snrji 8y ago
I see. Thanks for your work (and answer)!
42.
by snrji 8y ago
Unsupervised learning is the dark matter of AI, as LeCun said. We cannot rely on labeled data, which is expensive and scarce. The first company to figure out how to leverage the massive unlabeled data that is available will win the AI arms
43.
by snrji 8y ago
I have considered multiple times switching from Python to other alternatives. However, I instantly discard any language with a Lisp-like syntax. I just cannot work with it. Being a Haskell hobbyist, I would like Python to be statically type
44.
by snrji 8y ago
Happened to me with another application that shouldn't use the microphone.
45.
by snrji 8y ago
Therefore, if Google and all the Android OEMs merged, no antitrust action would be taken with regards to Android apps. Is that correct?
46.
by snrji 8y ago
As a developer based in Europe looking at these numbers is quite depressing.
47.
by snrji 8y ago
I wonder if these detections would become just impossible once NLP researchers figure out how to integrate adversarial training (specially GANs) into their models.
48.
by snrji 8y ago
Can't agree more with your second comment. Which of the following two alternatives would be better? - Avoiding whenever possible to use explicit recursion, and call functions like map, reduce or filter. - Change the recursion primitive
49.
Overleaf Is Down(twitter.com)
2 points by snrji 8y ago|1 comments
50.
by snrji 8y ago
Hardware development was accelerated by games, too.
51.
by snrji 8y ago
> His background is available on his CV: http://www.cs.toronto.edu/~duvenaud/ Thank you.
52.
by snrji 8y ago
Thanks!
53.
by snrji 8y ago
Off-topic: could you tell us what degree did you study? What is your academic background?
54.
by snrji 8y ago
I'm not proficient in Haskell, but how would the compiler be able to statically type that expression?
55.
by snrji 8y ago
Okay, thank you!
56.
by snrji 8y ago
I see, thanks for your time!
57.
by snrji 8y ago
Can someone explain for the layman the following doubt? One of the (many) things I still don't understand about RL even after having tried to read about it is how the loss function of Q Networks is computed if you don't have the t
58.
by snrji 8y ago
And the optimization process itself would determine whether updating the model or changing the world is optimal, I guess. Thanks.
59.
by snrji 8y ago
I see. Much more elegant than explicitly coding the trade-off, actually :)
60.
by snrji 8y ago
Rust still lacks an effect system, though. Any plans?

More ›