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 DescriptionApache/2.4.10 (Debian) Server at yurichev.com Port 443
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