Interesting article on research progress on the Unique Games Conjecture and its ramifications for solving programs with constraints:
miniblog.
Related Posts
Too many new languages describe themselves as "clear syntax" or "strong types". These features aren't very interesting, and are often subjective.
It's better to say what's unique, e.g. "a PL for IoT on boomerangs" would certainly be interesting!
So many computer components have a name 'FooCorp ABC456QX'. It must make life harder for both users and marketers.
My current theory is that names are chosen to be unique when googled. It's a glorified UUID.
The rise of platforms that promote unique users, digital content, and staying useful after a consumer has been matched up with a supplier: