Dennis Yurichev's blog

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

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.