Dennis Yurichev's blog

Main topics: CS, math, reverse engineering, SAT/SMT solvers, tinkering with *NIX...

• Fun with regular expressions and verification using CBMC: part IV (2021-Aug-19)
• Fun with regular expressions: part III (2021-Aug-19)
• Fun with regular expressions: part II (2021-Aug-19)
• Fun with regular expressions: part I (2021-Aug-19)
• [Russian] В Украине - продаю BTC и ETH за наличные USD и EUR (2021-Jul-30)
• [Racket] Filetree stat by month (2021-Jul-29)
• [Python] A problem for Python hackers: the solution (2021-Jul-26)
• "SAT/SMT by Example": hacking/tinkering plan (2021-Jul-26)
• Job offers I accept (2021-Jul-25)
• Donald Knuth's SAT solvers (2021-Jul-22)
• [Russian] Поиск опечаток в русскоязычной и украиноязычной Wikipedia (2021-Jul-19)
• Hunting for typos in Wikipedia (2021-Jul-17)
• [Russian][Video] Мой рассказ о SAT/SMT летом 2021, в Zoom-е (2021-Jul-16)
• [Python] A problem for Python hackers. How good your knowledge is? (2021-Jul-07)
• My new PGP public key (2021-Jun-28)
• [Video] A short video about 'Reverse Engineering for Beginners' books (2021-Jun-17)
• Isn't the 'Reverse Engineering for Beginners' book outdated already? (2021-Apr-24)
• base64scanner (2021-Apr-22)
• Boyer-Moore string search algorithm explanation and formal verification using CBMC (2021-Apr-21)
• [Unix] Using GeoIP from commandline (2021-Apr-14)
• Bayes classifier for your books (2021-Apr-13)
• [Unix] Translating a text from screenshot (2021-Apr-09)
• [Unix] The most primitive local search engine for your books library (2021-Apr-03)
• Reverse Engineering for Beginners published in Korean language (2021-Apr-01)
• 'SAT/SMT by Example' book: 5-year anniversary (2021-Feb-24)
• [Math] Latin squares for programmer (2021-Feb-22)
• [Algo] Rolling hash; Rabin-Karp string search (2021-Feb-05)
• [Math] IEEE 754 round-off errors (2021-Jan-31)
• Yet another use of regex backreferences (2021-Jan-21)
• Knuth-Morris-Pratt string-searching algorithm (part III): DFA-less version (2021-Jan-21)
• Knuth-Morris-Pratt string-searching algorithm (part II): DFA version (2021-Jan-21)
• Knuth-Morris-Pratt string-searching algorithm (part I) + my homebrew algorithms formally verified using CBMC (2021-Jan-21)
• Some of (remote) git internals, part II (2021-Jan-17)
• [Russian][Math][Python] Ломаем пароль при помощи комбинаторики и mixed radix (2021-Jan-16)
• [Russian][Math] Как пить таблетки применяя наименьшее общее кратное (НОК) (2021-Jan-15)
• [Russian][Math] Как я снимал квартиру при помощи мат.анализа (2021-Jan-14)
• [Unix] Tracking changes on web1.0-style websites (2021-Jan-05)
• [Unix] Gauging size of a directory available via Apache webserver index (2021-Jan-05)
• [Math] 'Two parks' problem and inclusion–exclusion principle using boolean operations (2021-Jan-04)
• Some of git internals (updated) (2020-Dec-20)
• Impact of order of files in tar archive on compressed size (2020-Oct-21)
• [Math] Set theory explanation via boolean operation (2020-Oct-16)
• [Russian] Что такое NP-проблемы: для неспециалистов (2020-Oct-11)
• [Russian] математический анекдот (исправил ошибку) (2020-Oct-09)
• Math for programmers (2020-Sep-27)
• A reverse engineering challenge: an intricate visual pattern in 39 bytes: the solution (2020-Sep-02)
• [Python][SAT] Toy package manager under 200 SLOC on top of SAT solver (2020-Sep-01)
• [IDAPython] Generating nice callgraphs, part II. (2020-Aug-23)
• [Russian] Копи-центры в Украине (2020-Aug-19)
• RE4B in Polish: Inżynieria wsteczna dla początkujących (2020-Aug-19)
• [Books] On (technical/scientific) writing (2020-Aug-01)
• [SAT] UNSAT core (2020-Aug-01)
• A reverse engineering challenge: an intricate visual pattern in 39 bytes (2020-Jul-31)
• Pintool: tracking 'CALL 0' and 'JMP 0' instruction (2020-Jul-26)
• [Russian] Задачи по программированию (2020-Jul-21)
• [Racket] SplitBy function I always wanted + fortune program in ~5 SLOC (2020-Jul-09)
• [Linux] Lenovo Thinkpad T500 WiFi issue (2020-Jul-04)
• Cracking my old Tiny C obfuscator (2020-Jul-03)
• [Linux] The most primitive clipboard manager you can ever find (2020-Jul-03)
• [Books] Algorithms (2020-Jul-03)
• SAT solver on top of regex matcher (2020-Jun-21)
• [Russian] KasperskyOS (2020-May-25)
• [MaxSMT] Finding minimum of a simple function using MK85 and simulated annealing (2020-Mar-12)
• [Utility][Python] megagrep (2020-Feb-28)
• [Utility][Python] Kill busy process (2020-Feb-28)
• [win32][Utility] Copyfile (2020-Feb-27)
• The RE4B book is 10 years old today. (2020-Feb-27)
• Using 'join' Unix command to find similar files. (2020-Feb-25)
• [Utility][Python] DDFF - Duplicate Directories and Files Finder (2020-Feb-25)
• [Linux] Using lsof (2020-Feb-24)
• Solving Martin Gardner's chess problem using simulated annealing (2020-Feb-24)
• The RE4B book printed on paper (2020-Feb-22)
• Yet another entropy calculating tool (2019-Dec-24)
• Get Wikimapia URL from EXIF (2019-Dec-19)
• [Utility] Programmer's calculator (2019-Dec-12)
• What MSVC's version has been used to compile Windows 10? (2019-Dec-08)
• [IDAPython] Generating nice callgraphs. (2019-Dec-08)

Subscribe to it via RSS: You can find my blog in popular online RSS feed readers: Feedly, The Old Reader, NewsBlur, Inoreader, diff.blog. (I personally happy with newsboat, but also used Thunderbird in past.)

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

For the old blog, click this.