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, (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(@)

For the old blog, click this.