Welcome to the most primitive blog system you can find on the Internet. I'm writing it in plain HTMLs, like it's 1998, when I first started doing it.

For the old blog, click this.

Also, subscribe to my mailing list by sending an empty email to yurichev+subscribe@googlegroups.com

If you have to comment something about a post, please drop me a note: blog(@)yurichev.com.

 Name                                   Description
 Parent Directory                       
 rss.xml                                RSS feed
 20201016_set/                          [Math] Set theory explanation via boolean operation
 20201011_fencepost/                    [Russian][Math] Off-by-one error / fencepost error / ошибка на единицу / ошибка неучтённой единицы / ошибка заборного столба
 20201011_NP/                           [Russian] Что такое NP-проблемы: для неспециалистов
 20201009_math_joke_fixed/              [Russian] математический анекдот (исправил ошибку)
 20200927_math/                         Math for programmers
 20200902_visual_RE_challenge_solution/ A reverse engineering challenge: an intricate visual pattern in 39 bytes: the solution
 20200901_pkg/                          [Python][SAT] Toy package manager under 200 SLOC on top of SAT solver
 20200825_challenges_re/                Reverse Engineering Challenges: writeups
 20200823_callgraphs2/                  [IDAPython] Generating nice callgraphs, part II.
 20200819_copyshops/                    [Russian] Копи-центры в Украине
 20200819_Polish/                       RE4B in Polish: Inżynieria wsteczna dla początkujących
 20200801_on_writing/                   [Books] On (technical/scientific) writing
 20200801_MUS/                          [SAT] UNSAT core
 20200731_visual_RE_challenge/          A reverse engineering challenge: an intricate visual pattern in 39 bytes
 20200726_pintool_call0/                Pintool: tracking 'CALL 0' and 'JMP 0' instruction
 20200721_problems/                     [Russian] Задачи по программированию
 20200703_deobfuscation/                Cracking my old Tiny C obfuscator
 20200703_clipboard/                    [Linux] The most primitive clipboard manager you can ever find
 20200701_SMT_UFs_arrays/               [SMT][Z3] Can rand() generate 3 consecutive zeroes?
 20200621_regex_SAT/                    SAT solver on top of regex matcher
 20200610_inverse/                      A question: how to invert a boolean equation?
 20200526_challenges/                   Solutions to Reverse Engineering challenges
 20200525_kaspersky/                    [Russian] KasperskyOS
 20200524_pirate/                       Pirated/unauthorized copies of the 'Reverse Engineering for Beginners'
 20200511_teaching/                     Teaching
 20200416_popcount/                     [CBMC][SMT] Formal verification of population count functions
 20200416_CRC64/                        [CBMC] Recovering a plain text using only CRC64 hash
 20200410_CBMC_etc/                     [SMT][Z3] Proving equivalence of two functions using CBMC and Z3 SMT-solver
 20200312_min/                          [MaxSMT] Finding minimum of a simple function using MK85 and simulated annealing
 20200228_megagrep/                     [Utility][Python] megagrep
 20200228_kill_busy_proc/               [Utility][Python] Kill busy process
 20200227_copyfile/                     [win32][Utility] Copyfile
 20200227_anniversary/                  The RE4B book is 10 years old today.
 20200225_join/                         Using 'join' Unix command to find similar files.
 20200225_DDFF/                         [Utility][Python] DDFF - Duplicate Directories and Files Finder
 20200224_lsof/                         [Linux] Using lsof
 20200224_Martin_Gardner_and_chess/     Solving Martin Gardner's chess problem using simulated annealing
 20200222_printed_RE4B/                 The RE4B book printed on paper
 20191224_entropy/                      Yet another entropy calculating tool
 20191219_EXIF_to_wikimapia/            Get Wikimapia URL from EXIF
 20191212_progcalc/                     [Utility] Programmer's calculator
 20191212_log2/                         [Math] Hexdump and binary logarithm
 20191208_msvcrt/                       What MSVC's version has been used to compile Windows 10?
 20191208_callgraphs/                   [IDAPython] Generating nice callgraphs.
 20191207_github/                       No more GitHub