| | 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
|
|
| | Cracking simple XOR cipher with simulated annealing (yurichev.com) |
|
2 points by dennis714 on July 21, 2019 | past
|
|
| | Making smallest possible test suite (yurichev.com) |
|
1 point by dennis714 on June 10, 2019 | past | 1 comment
|
|
|
|
More |
