| | Impact of order of files in tar archive on compressed size (yurichev.com) |
| 3 points by dennis714 on Oct 21, 2020 | past |
|
| | Set theory explanation via boolean operations (yurichev.com) |
| 1 point by dennis714 on Oct 16, 2020 | past |
|
| | Mathematics for Programmers [pdf] (yurichev.com) |
| 589 points by signa11 on Sept 24, 2020 | past | 115 comments |
|
| | Mathematics for Programmers [pdf] (yurichev.com) |
| 4 points by todsacerdoti on Sept 23, 2020 | past |
|
| | Toy package manager under 200 SLOC on top of SAT solver (yurichev.com) |
| 3 points by dennis714 on Sept 1, 2020 | past |
|
| | Generating Nice Callgraphs (yurichev.com) |
| 2 points by Shinobuu on Aug 30, 2020 | past |
|
| | Generating nice callgraphs, part II (yurichev.com) |
| 6 points by Shinobuu on Aug 30, 2020 | past |
|
| | Understanding Assembly Language [pdf] (yurichev.com) |
| 3 points by dennis714 on Aug 9, 2020 | past |
|
| | Mathematical Writing [pdf] (yurichev.com) |
| 3 points by ingve on Aug 1, 2020 | past |
|
| | A reverse engineering challenge: an intricate visual pattern in 39 bytes (yurichev.com) |
| 1 point by dennis714 on July 31, 2020 | past |
|
| | Finding a conflicting pair of options/features (yurichev.com) |
| 1 point by dennis714 on July 14, 2020 | past |
|
| | The most primitive clipboard manager you can ever find (yurichev.com) |
| 1 point by dennis714 on July 3, 2020 | past |
|
| | Integer factorization using regex (with backreferences) (yurichev.com) |
| 1 point by dennis714 on June 24, 2020 | past |
|
| | Sat solver on top of regex matcher (yurichev.com) |
| 91 points by justinucd on June 22, 2020 | past | 52 comments |
|
| | Sat solver on top of regex matcher (yurichev.com) |
| 2 points by dennis714 on June 21, 2020 | past |
|
| | Sat/SMT by Example [pdf] (yurichev.com) |
| 2 points by dennis714 on May 27, 2020 | past | 1 comment |
|
| | Sat/SMT by Example [pdf] (yurichev.com) |
| 2 points by dennis714 on May 25, 2020 | past |
|
| | Recovering a plain text using only CRC64 hash (yurichev.com) |
| 2 points by dennis714 on April 16, 2020 | past |
|
| | Formal verification of population count functions (yurichev.com) |
| 2 points by dennis714 on April 16, 2020 | past |
|
| | Proving equivalence of two functions using CBMC and Z3 SMT-solver (yurichev.com) |
| 2 points by dennis714 on April 10, 2020 | past |
|
| | Solving Martin Gardner's chess problem using simulated annealing (yurichev.com) |
| 2 points by dennis714 on Feb 24, 2020 | past |
|
| | What Is Derivative? (yurichev.com) |
| 2 points by dennis714 on Dec 15, 2019 | past |
|
| | Hexdump and Binary Logarithm (yurichev.com) |
| 1 point by dennis714 on Dec 12, 2019 | past |
|
| | What MSVC's version has been used to compile Windows 10? (yurichev.com) |
| 2 points by dennis714 on Dec 8, 2019 | past |
|
| | Simplest possible snapshot-style backups using rsync (yurichev.com) |
| 3 points by dennis714 on Dec 4, 2019 | past |
|
| | Yet another explanation of the Quicksort algorithm (yurichev.com) |
| 18 points by dennis714 on Nov 23, 2019 | past | 2 comments |
|
| | A Nasty Bug in Msvcrt.dll (yurichev.com) |
| 1 point by dennis714 on Nov 18, 2019 | past | 3 comments |
|
| | Simplest possible snapshot-style backups using rsync (yurichev.com) |
| 2 points by ingve on Oct 16, 2019 | past |
|
| | Cracking simple XOR cipher with simulated annealing (yurichev.com) |
| 2 points by dennis714 on Sept 4, 2019 | past |
|
| | Sat solver in Python (~175 SLOC) with watch lists (yurichev.com) |
| 2 points by dennis714 on Sept 4, 2019 | past |
|
|
| More |
