News for hackers. Stuff that matters.
Re:Cracking Minesweeper with Z3 SMT Solver by awqrre on Sunday March 05, 2017 @06:49PM (#13799649)
that page is blank unless you allow ajax.google.com....
Re:Cracking Minesweeper with Z3 SMT Solver by yorwba on Sunday March 05, 2017 @09:56PM (#13800381)
That's like half of the internet these days.
Re:Cracking Minesweeper with Z3 SMT Solver by awqrre on Sunday March 05, 2017 @10:21PM (#13800451)
Probably not half, but way too much. I'm hoping that the recent Amazon downtime will help put the breaks to this trend.