Viewing profile — RockmanX

I feel this article funny. Most FAANG interviewers have just average talent

Guo Wengui is rubbish. His words mean nothing!

funny, I thought AI/DL has been ready to save the world for a while since everyone is bragging its power but until now Amazon still faces fake reviews problem.

I wish you have a working brain

google brainwash time

if google says you want it, you better want it

come on, all these "googlers protesting google" dramas are made by google itself for promotion.

The atonal euphemism is a common alternative to avoid automatic censorship of various websites.

How to make your paper unique and get accepted by a top conf ? One way is to apply mature techniques to areas that facilitate dictatorship.

what's the consequence if someone's product violates GPL ?

the point I like Alloy is that it allows you to express something like "forall function f such that f is well-define ...", very cool. I barely know anything about TLA+ though.

Vision intelligence techniques are heavily used in China in relatively critical scenarios such as the one in this news, door security systems or bank check in systems. This is so s…

I believe people who develop critical softwares do software verifications which should involve Symbolic Execution.

good! now they will have my code

google will soon let you think you can scrub your personal info.

Entertainment or pop culture was well-known for their power of economy. This article just re-claims this fact with substituting "Entertainment" by "Art and Culture".

you probably never heard of the so called "political flighting" among university professors in China

thats horrible! It makes me don't want to go back to China for having a faculty job.

The point is why people have to remember them ? Why not look them up when necessary ?