Submissions by dennis714

Finding a conflicting pair of options/features

The most primitive clipboard manager you can ever find

Integer factorization using regex (with backreferences)

Sat solver on top of regex matcher

Sat/SMT by Example [pdf]

Sat/SMT by Example [pdf]

Recovering a plain text using only CRC64 hash

Formal verification of population count functions

Proving equivalence of two functions using CBMC and Z3 SMT-solver

Solving Martin Gardner's chess problem using simulated annealing

What Is Derivative?

Hexdump and Binary Logarithm

What MSVC's version has been used to compile Windows 10?

Simplest possible snapshot-style backups using rsync

Reverse Engineering for Beginners [pdf]

Yet another explanation of the Quicksort algorithm

Reverse Engineering for Beginners

A Nasty Bug in Msvcrt.dll

Cracking simple XOR cipher with simulated annealing

Sat solver in Python (~175 SLOC) with watch lists

Cracking simple XOR cipher with simulated annealing

Making smallest possible test suite

(Windows 7) Solitaire practical joke

Optimizing production of a cardboard toy using SAT-solver

Forgotten Password, Part II

Combinatorics: Soldering wires; vehicle license plate; forgotten password

Autocomplete Using Markov Chains

SAT/SMT by Example [pdf]