dennis714

13 ms·

1. 31.▲
   Reverse Engineering for Beginners [pdf](beginners.re)

   451 points by dennis714 7y ago|48 comments
2. 32.▲
   Yet another explanation of the Quicksort algorithm(yurichev.com)

   18 points by dennis714 7y ago|2 comments
3. 33.▲
   Reverse Engineering for Beginners(beginners.re)

   3 points by dennis714 7y ago|0 comments
4. 34.▲
   by dennis714 7y ago

   This isn't even UD.
5. 35.▲
   by dennis714 7y ago

   stricmp() (silently) behaves incorrectly returning MAX_INT. Isn't it a bug?
6. 36.▲
   A Nasty Bug in Msvcrt.dll(yurichev.com)

   1 points by dennis714 7y ago|3 comments
7. 37.▲
   Cracking simple XOR cipher with simulated annealing(yurichev.com)

   2 points by dennis714 7y ago|0 comments
8. 38.▲
   Sat solver in Python (~175 SLOC) with watch lists(yurichev.com)

   2 points by dennis714 7y ago|0 comments
9. 39.▲
   Cracking simple XOR cipher with simulated annealing(yurichev.com)

   2 points by dennis714 7y ago|0 comments
10. 40.▲
    Making smallest possible test suite(yurichev.com)

    1 points by dennis714 7y ago|1 comments
11. 41.▲
    (Windows 7) Solitaire practical joke(yurichev.com)

    3 points by dennis714 7y ago|0 comments
12. 42.▲
    Optimizing production of a cardboard toy using SAT-solver(yurichev.com)

    38 points by dennis714 7y ago|0 comments
13. 43.▲
    Forgotten Password, Part II(yurichev.com)

    1 points by dennis714 8y ago|0 comments
14. 44.▲
    Combinatorics: Soldering wires; vehicle license plate; forgotten password(yurichev.com)

    2 points by dennis714 8y ago|0 comments
15. 45.▲
    Autocomplete Using Markov Chains(yurichev.com)

    166 points by dennis714 8y ago|17 comments
16. 46.▲
    SAT/SMT by Example [pdf](yurichev.com)

    145 points by dennis714 8y ago|10 comments
17. 47.▲
    Integer overflow and SMT-solvers(yurichev.com)

    53 points by dennis714 8y ago|16 comments
18. 48.▲
    by dennis714 8y ago

    Yes. Explanation: https://yurichev.com/blog/UAL/
19. 49.▲
    by dennis714 8y ago

    Yes. Explanation: https://yurichev.com/blog/UAL/
20. 50.▲
    Assembly Language for Beginners [pdf](yurichev.com)

    672 points by dennis714 8y ago|94 comments
21. 51.▲
    SAT/SMT by example [pdf](yurichev.com)

    2 points by dennis714 8y ago|0 comments
22. 52.▲
    ToySMT – simple SMT solver under 1500 SLOC of pure C(github.com)

    91 points by dennis714 9y ago|7 comments
23. 53.▲
    Getting CRC polynomial and other CRC generator parameters using Z3(yurichev.com)

    2 points by dennis714 9y ago|0 comments
24. 54.▲
    Yet another explanation of CRC (Cyclic redundancy check)(yurichev.com)

    3 points by dennis714 9y ago|0 comments
25. 55.▲
    Rubik’s cube (3*3*3) and Z3 SMT-solver, part II(yurichev.com)

    2 points by dennis714 9y ago|0 comments
26. 56.▲
    Solving pocket Rubik’s cube (2*2*2) using Z3 and SAT solver(yurichev.com)

    75 points by dennis714 9y ago|17 comments
27. 57.▲
    Dependency hell and Z3 SMT-solver(github.com)

    4 points by dennis714 9y ago|0 comments
28. 58.▲
    Discrete tomography and Z3 SMT-solver(github.com)

    2 points by dennis714 9y ago|0 comments
29. 59.▲
    Simplest SAT solver in ~120 lines(yurichev.com)

    3 points by dennis714 9y ago|0 comments
30. 60.▲
    by dennis714 9y ago

    What about SMT vs. Prolog, do Prolog have more expressiveness?