Chrome phasing out support for User-Agent 6 years ago
if you want to go to the source of that story:
https://groups.google.com/a/chromium.org/forum/#!msg/blink-d...
HN user
2400
4 karma
Posts0
Comments7
No posts found.
Modern SAT solvers: fast, neat and underused 7 years ago
do you have any pointers on modeling with soft/hard constraints and SAT solvers?
Modern SAT solvers: fast, neat and underused 7 years 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/SAT solver efficiently?
A hundred million cars run curl 8 years ago
What do they use it for generally? Downloading updates?
State of the Common Lisp Ecosystem 11 years ago
sorry, but it's impossible to read this site.
Top Gear did this experiment and it worked.
Swatch Internet Time 13 years ago
wow I just nostalgia'd really hard now.