2400
Re:Chrome phasing out support for User-Agent
on Thursday March 26, 2020 @03:58AM (#22691441)
if you want to go to the source of that story:
https://groups.google.com/a/chromium.org/forum/#!msg/blink-d...
Re:Modern SAT solvers: fast, neat and underused
on Sunday September 29, 2019 @01:57AM (#21105381)
do you have any pointers on modeling with soft/hard constraints and SAT solvers?
Re:Modern SAT solvers: fast, neat and underused
on Sunday September 29, 2019 @01:55AM (#21105374)
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?
Re:A hundred million cars run curl
on Thursday November 08, 2018 @10:59AM (#18407134)
What do they use it for generally? Downloading updates?
Re:State of the Common Lisp Ecosystem
on Tuesday August 25, 2015 @07:12PM (#10120044)
sorry, but it's impossible to read this site.
Re:Tesla Plans to Open Car Doors to All Hackers This Summer
on Tuesday April 28, 2015 @02:32PM (#9454296)
Top Gear did this experiment and it worked.
Re:Swatch Internet Time
on Sunday January 12, 2014 @12:57PM (#7046727)
wow I just nostalgia'd really hard now.