Hacker News new | comments | show | ask | jobs | submit | from login
SAT/SMT by example [pdf] (yurichev.com)
6 points by tosh 1 day ago | past | web | discuss
Assembly Language for Beginners [pdf] (yurichev.com)
672 points by dennis714 32 days ago | past | web | 94 comments
Register allocation using graph coloring (yurichev.com)
2 points by ingve 37 days ago | past | web
SAT/SMT by example [pdf] (yurichev.com)
2 points by dennis714 68 days ago | past | web
Can rand() generate 10 consecutive zeroes? (yurichev.com)
2 points by ingve 8 months ago | past | web
Getting CRC polynomial and other CRC generator parameters using Z3 (yurichev.com)
2 points by dennis714 9 months ago | past | web
Yet another explanation of CRC (Cyclic redundancy check) (yurichev.com)
3 points by dennis714 9 months ago | past | web
Rubik’s cube (3*3*3) and Z3 SMT-solver, part II (yurichev.com)
2 points by dennis714 11 months ago | past | web
Solving pocket Rubik’s cube (2*2*2) using Z3 and SAT solver (yurichev.com)
75 points by dennis714 11 months ago | 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
Encrypted database case #1 (yurichev.com)
143 points by kushti on Aug 27, 2015 | past | web | 12 comments
Fuzzy string matching and simplest possible spellchecking and hunting for typos (yurichev.com)
2 points by ScottWRobinson on July 25, 2015 | past | web
How RSA works (yurichev.com)
5 points by omnibrain on July 9, 2015 | past | web
Modular arithmetic, division by multiplication, cracking LCG (PRNG) with Z3 (yurichev.com)
13 points by p4bl0 on June 14, 2015 | past | web
Analyzing unknown binary files using information entropy (yurichev.com)
32 points by egorst on May 14, 2015 | past | web | 4 comments
Using Z3 theorem prover to prove equivalence of some bizarre alternative to XOR (yurichev.com)
12 points by eatitraw on Apr 20, 2015 | past | web | 2 comments
More

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: