mate_soos

4 ms·

1.
by mate_soos 9y ago
Before crying pilot error, we must all read Sydney Dekker's A Field Giude to Understading "Human Error" (and fully appreciate why he uses those quotes). Don't immediately assign blame to the sharp end. Take a look at the
2.
Testing and Pentesting – a Rant(msoos.org)
2 points by mate_soos 9y ago|0 comments
3.
by mate_soos 10y ago
If you to treat your employees as children, you will end up with a culture of excuses. If you give and take responsiblity for both your own work and the work of helping others do their work, you will realize that excuses won't be neede
4.
by mate_soos 10y ago
I am a bit saddened that Vegard Nossum's work, which they used for encoding SHA-1 to SAT, is only mentioned as a footnote. The github code is at https://github.com/vegard/sha1-sat and his Master Thesis, whose qual
5.
by mate_soos 10y ago
Sorry, wanted to say CoMiniSatPS, here: http://cs.nyu.edu/~chanseok/cominisatps/index.html One of its variants won the Main track of the SAT Competition of 2016, see http://baldur.iti.kit.edu/sat-c
6.
by mate_soos 10y ago
Considering that CryptoMiniSat got 3rd place (after 1st and 2nd both being lingeling) in Parallel SAT solving the last competition, I think it was fair to include it. Sure, it's mine, but I also put it at the end :) Other solvers that
7.
by mate_soos 10y ago
This approach is unworkable, it has been demonstrated many times. I have not only been developing a SAT solver for >7 years (with >9000 commits) but also have participated in the SAT competition in all these years. I used to get a pro