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.

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.

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 stupid because none of those techniques are reliable enough to be put in such kind of scenarios.

Not mention that software developers work for gov or bank in China are usually worse than developers in tech companies.

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.