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.

 Name                               Description
 Parent Directory                   
 rss.xml                            RSS feed
 20200525_kaspersky/                [Russian] KasperskyOS
 20200524_pirate/                   Pirate/unauthorized copies of the 'Reverse Engineering for Beginners'
 20200511_teaching/                 Teaching
 20200420_Petzold/                  Charles Petzold
 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
 20191215_derivative/               [Math][Calculus] What is derivative?
 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_halting/                  Halting problem
 20191207_github/                   No more GitHub