Short bio: CS/math geek, programmer, reverse engineer, author. Mostly known for the Reverse Engineering for Beginners, and the SAT/SMT by example books.

Short notes: in English, in Russian.
My writings, as seen on Reddit: 1, 2, 3, 4, 5; on Hacker News: 1, 2, 3; on lobste.rs: 1, 2, 3, 4; on twitter: 1, 2, 3.
... all in raw, unprepared form.