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.

Main topics: CS, math, reverse engineering, SAT/SMT solvers and all sorts of geekery.

For the old blog, click this.

Follow me in social networks: Twitter, Telegram, GitHub, Discord, Facebook.

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
 20210224_SAT_SMT_anniversary/          'SAT/SMT by Example' book: 5-year anniversary
 20210222_latin/                        [Math] Latin squares for programmer
 20210205_rolling_hash/                 [Algo] Rolling hash; Rabin-Karp string search
 20210131_soc_networks/                 Follow me in social networks
 20210131_IEEE_754/                     [Math] IEEE 754 round-off errors
 20210121_regex_backref/                Yet another use of regex backreferences
 20210121_Knuth_Morris_Pratt_3/         Knuth-Morris-Pratt string-searching algorithm (part III): DFA-less version
 20210121_Knuth_Morris_Pratt_2/         Knuth-Morris-Pratt string-searching algorithm (part II): DFA version
 20210121_Knuth_Morris_Pratt_1/         Knuth-Morris-Pratt string-searching algorithm (part I) + my homebrew algorithms formally verified using CBMC
 20210117_remote_git/                   Some of (remote) git internals, part II
 20210116_passwords/                    [Russian][Math][Python] Ломаем пароль при помощи комбинаторики и mixed radix
 20210115_LCM/                          [Russian][Math] Как пить таблетки применяя наименьшее общее кратное (НОК)
 20210114_calculus/                     [Russian][Math] Как я снимал квартиру при помощи мат.анализа
 20210109_teaching/                     Teaching
 20210105_web_updates/                  [Unix] Tracking changes on web1.0-style websites
 20210105_apache_index/                 [Unix] Gauging size of a directory available via Apache webserver index
 20210104_two_parks/                    [Math] 'Two parks' problem and inclusion–exclusion principle using boolean operations
 20201220_git/                          Some of git internals (updated)
 20201021_tar_order/                    Impact of order of files in tar archive on compressed size
 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] Задачи по программированию
 20200709_splitby/                      [Racket] SplitBy function I always wanted + fortune program in ~5 SLOC
 20200704_thinkpad_t500/                [Linux] Lenovo Thinkpad T500 WiFi issue
 20200703_deobfuscation/                Cracking my old Tiny C obfuscator
 20200703_clipboard/                    [Linux] The most primitive clipboard manager you can ever find
 20200703_algo/                         [Books] Algorithms
 20200621_regex_SAT/                    SAT solver on top of regex matcher
 20200526_challenges/                   Solutions to Reverse Engineering challenges
 20200525_kaspersky/                    [Russian] KasperskyOS
 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
 20191208_msvcrt/                       What MSVC's version has been used to compile Windows 10?
 20191208_callgraphs/                   [IDAPython] Generating nice callgraphs.