2400

6 ms·

1. 1.▲
   by 2400 6y ago

   if you want to go to the source of that story: https://groups.google.com/a/chromium.org/forum/#!msg/blink-d...
2. 2.▲
   by 2400 7y ago

   do you have any pointers on modeling with soft/hard constraints and SAT solvers?
3. 3.▲
   by 2400 7y ago

   amazing, I tried doing this recently but I guess my modeling was not good enough and it would take hours to find the solution with a couple of dozen variables. Do you have any pointers on how to much these types of problems with a SMT&#x2F
4. 4.▲
   by 2400 8y ago

   What do they use it for generally? Downloading updates?
5. 5.▲
   by 2400 11y ago

   sorry, but it's impossible to read this site.
6. 6.▲
   by 2400 11y ago

   Top Gear did this experiment and it worked.
7. 7.▲
   by 2400 13y ago

   wow I just nostalgia'd really hard now.