Dennis Yurichev's blog

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

Follow my new blog.

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

Here is also my own mailing list, dedicated to news about my tools, writings, etc. Mostly the same information as in my blog. Low-traffic. Click here. Or send empty email to:

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

For the old blog, click this.