zero_k

Improving heuristics... everybody has been doing that, but based on _very_ sparse information, mostly just running times and number of conflicts&decisions. I leads to poor understanding and slow improvement of heuristics.

I think we ought to collect a lot more data, which would allow for better heuristics. But collecting data incurs running overhead, so it must be configurable -- collect when not in a "competition mode" and analyse, then during in the competition, only collect the data really needed for the computed prediction algorithm to correctly function.

Wow, that's kinda interesting. I somehow cannot get rid of the feeling of having a really nice hammer and then treating everything as a nail. There are other uses of deep/machine learning that could help SAT solvers.

For example, one could try to better guess the learnt clauses to keep/throw away or to restart when the search space is deemed non-interesting through prediction models built using machine learning. See (my) blogpost here: https://www.msoos.org/2018/01/predicting-clause-usefulness/ (sorry, self-promotion, but relevant)

Let's not forget the work that could be done on auto-configuring SAT solvers, tuning their configuration to the instance, as per the competition at: http://aclib.net/cssc2014/

Another piece of work in this domain are portifolio solvers, which pick the best-fitting SAT solver from a list of potentials, after having guessed the best one given the instance profile, e.g. priss at http://tools.computational-logic.org/content/riss.php

I think there are some interesting low-hanging fruits in there somewhere, using regular SAT solvers and machine/deep learning, exploiting domain-specific information and know-how.

The whole society is getting short-changed by the idiots trying to make a sacrificial goat out of her/him. Anybody who doesn't understand why s/he doesn't talk, should read Sydney Dekker's books (in particular, "Just Culture -- Restoring Trust and Accountability in your Organisation"). We need the NTSB to do the investigation, they are non-blaming and serious professionals concerned about the FUTURE not the PAST -- i.e. making sure it doesn't happen again.

I seriously want to give a hug to the person who mis-clicked. If you have seen that UX design, you know as well as anyone else, that indeed, most would have mis-clicked over time.

The people investigating this are making a huge mistake.

That's a joke. It would take them a lot more to fix than 400k. Just the pentests + risk assessments would cost more and they would also need to educate their personnel (developers, testers, DevOps, managers), and implement new policies and procedures, SDLC etc. The price of all of that would be well over a million.

400k is not even a slap on the wrist. I'm disappointed.

Sure, he was wrong. So was Newton. Einstein fixed some of it, and then a lot of others fixed some of the remaining parts, etc. Writing "Satoshi was wrong" as a headline, is misleading at best. Why would someone talk about Satoshi with such disrespect? I don't get it. Can somone explain?

Sure, mine had BSOD's space bar double-tap, choppy sound and laggy 3D mouse (I mean 1 sec lag) right out of the box. I wasn't as patient as you, I sent it back. On Linux most was fine except the keyboard, but I was too afraid that HW was crap (also, searching for solutions was throwing me a lot of other people's issues with the HW). It seems like I was right.

Mine came with:

* space bar double-registers once in a while. There is a well-known issue with the space bar, extremely well-documented: https://www.reddit.com/r/Dell/comments/3ebe6t/dell_xps_13_20..., http://www.youtube.com/watch?v=R333HXzT7Ws http://en.community.dell.com/support-forums/laptop/f/3518/t/... and so on

* Killer Wifi BSOD'd 5 times in 1 week. Also well-documented, fix is apparently to complain and get an engineer to change it to Intel: https://www.reddit.com/r/Dell/comments/5r1fu5/xps15_9560_wif...

* Sound was choppy (driver-based issue), apparently this is again well-known: https://www.reddit.com/r/Dell/comments/5yvsng/xps_15_9560_au... there is no fix, the fix is to send it back (potentially also caused by Killer Wifi, Dell will never recognise that so you'll not get a WiFi card change)

* Mouse has a lag on the screen in 3D applications. Apparently, this is due to partially the XBox app that wants to record and isn't optimized to 4k + possibly McAfee + some other Dell boatware.

So, I returned the laptop. The 2nd thing in my life I ever returned. It was too much, and I wasn't sure I could fix all of the above in 2 weeks (return period in UK). I used Linux for my main OS, where everything but the space bar double-tap was a real issue. But that was painful. I was afraid that the replacement keyboard would be more or less the same. You can apparently just go to a random retailer, and it often double-taps there too (i.e. it will break). Worst about it is that Dell offered a BIOS update to "fix" this. The Dell Knowledge Base (KB) article detailing this has been pulled, BIOSes now come pre-updated (yes, I did update my BIOS, no, it did not fix it). When a BIOS update "fixes" such a basic hardware bug, you really ought to wonder about their quality control.