| | Forgotten Password, Part II (yurichev.com) |
|
1 point by dennis714 3 days ago | past | web | discuss |
|
| | Combinatorics: Soldering wires; vehicle license plate; forgotten password (yurichev.com) |
|
2 points by dennis714 10 days ago | past | web | discuss |
|
| | Autocomplete Using Markov Chains (yurichev.com) |
|
166 points by dennis714 31 days ago | past | web | 17 comments |
|
| | SAT/SMT by Example [pdf] (yurichev.com) |
|
145 points by dennis714 46 days ago | past | web | 10 comments |
|
| | C, C++, x86/x64 assembly: The case of forgotten return (yurichev.com) |
|
97 points by ingve 3 months ago | past | web | 49 comments |
|
| | Integer overflow and SMT-solvers (yurichev.com) |
|
53 points by dennis714 3 months ago | past | web | 16 comments |
|
| | SAT/SMT by example [pdf] (yurichev.com) |
|
9 points by tosh 7 months ago | past | web |
|
| | Assembly Language for Beginners [pdf] (yurichev.com) |
|
672 points by dennis714 8 months ago | past | web | 94 comments |
|
| | Register allocation using graph coloring (yurichev.com) |
|
2 points by ingve 8 months ago | past | web |
|
| | SAT/SMT by example [pdf] (yurichev.com) |
|
2 points by dennis714 9 months ago | past | web |
|
| | Can rand() generate 10 consecutive zeroes? (yurichev.com) |
|
2 points by ingve on Dec 6, 2017 | past | web |
|
| | Getting CRC polynomial and other CRC generator parameters using Z3 (yurichev.com) |
|
2 points by dennis714 on Nov 11, 2017 | past | web |
|
| | Yet another explanation of CRC (Cyclic redundancy check) (yurichev.com) |
|
3 points by dennis714 on Nov 5, 2017 | past | web |
|
| | Rubik’s cube (3*3*3) and Z3 SMT-solver, part II (yurichev.com) |
|
2 points by dennis714 on Sept 20, 2017 | past | web |
|
| | Solving pocket Rubik’s cube (2*2*2) using Z3 and SAT solver (yurichev.com) |
|
75 points by dennis714 on Sept 10, 2017 | past | web | 17 comments |
|
| | Simplest SAT solver in ~120 lines (yurichev.com) |
|
3 points by dennis714 on June 26, 2017 | past | web |
|
| | Minimizing test set using Z3 (yurichev.com) |
|
2 points by iou on June 2, 2017 | past | web |
|
| | Quick introduction into SAT/SMT solvers and symbolic execution [pdf] (yurichev.com) |
|
5 points by dennis714 on May 11, 2017 | past | web |
|
| | How to Find a Russian Hacker Anywhere (yurichev.com) |
|
1 point by kushti on Mar 27, 2017 | past | web |
|
| | Cracking Minesweeper with Z3 SMT Solver (yurichev.com) |
|
177 points by iou on Mar 5, 2017 | past | web | 57 comments |
|
| | Cracking simple LCG PRNG (yurichev.com) |
|
1 point by ingve on Mar 2, 2017 | past | web |
|
| | Symbolic execution (yurichev.com) |
|
4 points by ingve on Feb 9, 2017 | past | web |
|
| | Toy decompiler for x86-64 written in Python [pdf] (yurichev.com) |
|
135 points by nhamausi on Dec 10, 2016 | past | web | 10 comments |
|
| | Toy decompiler for x86-64 written in Python [pdf] (yurichev.com) |
|
4 points by ingve on Dec 5, 2016 | past | web |
|
| | Another loop optimization (yurichev.com) |
|
1 point by ingve on July 10, 2016 | past | web |
|
| | C/C++ pointers: null pointers (yurichev.com) |
|
3 points by ingve on June 13, 2016 | past | web |
|
| | C/C++ pointers: pointers abuse in Windows kernel (yurichev.com) |
|
13 points by DiabloD3 on June 2, 2016 | past | web | 2 comments |
|
| | C/C++ pointers: yet another abuse (yurichev.com) |
|
3 points by ingve on May 23, 2016 | past | web |
|
| | Quick introduction to SAT/SMT solvers and symbolic execution [pdf] (yurichev.com) |
|
51 points by jaybosamiya on Feb 28, 2016 | past | web | 11 comments |
|
| | Content-addressable storage: where object placement is defined by its contents (yurichev.com) |
|
19 points by nkurz on Oct 15, 2015 | past | web | 3 comments |
|
|
| More |
