Viewing profile — LaPrometheus

This is typical Google/DeepMind ignorance. The rest of the world is non-exist.

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 …

This is super cool. Any comparison with Weld? https://weld-project.github.io/

Please try again now :)

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 …

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

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

Author here. Happy to answer questions.

A list of applications built on top of Rosette: http://emina.github.io/rosette/apps.html

An advanced version of this course, by one of the teachers of CS294. https://courses.cs.washington.edu/courses/cse507/16sp/

No, It is not acceptable.

How to play your game?

I am a Chinese. Obviously I don't think Dr Fang is an enemy.

That's awesome! Make the learning more joyful.