LaPrometheus

5 ms·

1.
by LaPrometheus 9y ago
This is typical Google/DeepMind ignorance. The rest of the world is non-exist.
2.
by LaPrometheus 9y ago
I don't see any of the commenters here understand why Xiaomi rise again, and ironically the author of this article. Xiaomi is like Amazon in China's smart home market, except with a much stronger mobile department that Amazon woul
3.
by LaPrometheus 9y ago
This is super cool. Any comparison with Weld? https://weld-project.github.io/
4.
by LaPrometheus 9y ago
Please try again now :)
5.
by LaPrometheus 9y ago
CURRENT_TIMESTAMP is truly random. One thing we can do is to over approximate. For example, let CURRENT_TIMESTAMP be a symbolic variable, which essentially can be any value. If we still can prove the equivalence, then the equivalence is sou
6.
by LaPrometheus 9y ago
Exactly, SQL minimization is a real problem. While there is no canonical form of all SQL in general, it is still possible to reduce Query. There is some existing work. You might want to look at this one: https://pdfs.semanticscho
7.
by LaPrometheus 9y ago
Thanks for trying out. The parser error report is not great now. The real error actually, it should be "union all" rather than "union". I changed your query: /* define schema s1, here s1 can contain any numb
8.
by LaPrometheus 9y ago
Author here. Happy to answer questions.
9.
Cosette: An Automated SQL Solver(medium.com)
16 points by LaPrometheus 9y ago|1 comments
10.
by LaPrometheus 10y ago
A list of applications built on top of Rosette: http://emina.github.io/rosette/apps.html
11.
by LaPrometheus 10y ago
An advanced version of this course, by one of the teachers of CS294. https://courses.cs.washington.edu/courses/cse507/16sp/
12.
by LaPrometheus 10y ago
No, It is not acceptable.
13.
How to get by in Beijing without a wallet(money.cnn.com)
1 points by LaPrometheus 10y ago|0 comments
14.
by LaPrometheus 11y ago
How to play your game?
15.
by LaPrometheus 11y ago
I am a Chinese. Obviously I don't think Dr Fang is an enemy.
16.
Surpassing Human-Level Performance on ImageNet Classification(arxiv.org)
9 points by LaPrometheus 12y ago|0 comments
17.
by LaPrometheus 12y ago
That's awesome! Make the learning more joyful.